Step * of Lemma equal-unit

[x,y:Unit].  (x y ∈ Unit)
BY
(Auto THEN THEN THEN Fold `it` THEN Auto) }


Latex:


Latex:
\mforall{}[x,y:Unit].    (x  =  y)


By


Latex:
(Auto  THEN  D  1  THEN  D  2  THEN  Fold  `it`  0  THEN  Auto)




Home Index