Step * 1 of Lemma eager-product-map-nil


1. Top
⊢ [] []
BY
TACTIC:Auto }


Latex:


Latex:

1.  f  :  Top
\mvdash{}  []  \msim{}  []


By


Latex:
TACTIC:Auto




Home Index