Step
*
1
1
of Lemma
list-set-type
1. T : Type
⊢ [] ∈ {x:T| (x ∈ [])}  List
BY
{ Auto }
Latex:
Latex:
1.  T  :  Type
\mvdash{}  []  \mmember{}  \{x:T|  (x  \mmember{}  [])\}    List
By
Latex:
Auto
Home
Index