Step * of Lemma istype-sqequal

[x,y:Base].  istype(x y)
BY
TACTIC:Auto }


Latex:


Latex:
\mforall{}[x,y:Base].    istype(x  \msim{}  y)


By


Latex:
TACTIC:Auto




Home Index