Nuprl Rule : token2Equality
H ⊢ '$x'2 = '$x'2 ∈ Atom2
BY token2Equality ()
No Subgoals
Definitions occuring in rule :
equal: s = t ∈ T,
atom: Atom$n,
token: '$x'2,
axiom: Ax
Latex:
H \mvdash{} '\$x'2 = '\$x'2
BY token2Equality ()
No Subgoals
Date html generated:
2019_06_20-PM-04_11_59
Last ObjectModification:
2015_11_25-PM-03_55_41
Theory : rules
Home
Index