Step * of Lemma equal-top

[x,y:Top].  (x y ∈ Top)
BY
(Unfold `top` THEN Auto) }


Latex:


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


By


Latex:
(Unfold  `top`  0  THEN  Auto)




Home Index