Step
*
of Lemma
function-subtype-top
∀[A,B:Type].  ((A ⟶ B) ⊆r Top)
BY
{ Auto }
Latex:
Latex:
\mforall{}[A,B:Type].    ((A  {}\mrightarrow{}  B)  \msubseteq{}r  Top)
By
Latex:
Auto
Home
Index