Step * of Lemma function-subtype-top

[A,B:Type].  ((A ⟶ B) ⊆Top)
BY
Auto }


Latex:


Latex:
\mforall{}[A,B:Type].    ((A  {}\mrightarrow{}  B)  \msubseteq{}r  Top)


By


Latex:
Auto




Home Index