Step
*
1
of Lemma
axiom-list
1. T : Type
2. tt = tt
⊢ [] ∈ Unit
BY
{ (Unfold `nil` 0 THEN Auto) }
Latex:
Latex:
1. T : Type
2. tt = tt
\mvdash{} [] \mmember{} Unit
By
Latex:
(Unfold `nil` 0 THEN Auto)
Home
Index