Step * 1 1 1 1 1 1 of Lemma respects-equality-list


1. Type
2. Type
3. 0 ∈ ℤ
4. 0 ∈ ℤ
⊢ [] [] ∈ {bs:B List| ||bs|| 0 ∈ ℤ
BY
Auto }


Latex:


Latex:

1.  A  :  Type
2.  B  :  Type
3.  0  =  0
4.  0  =  0
\mvdash{}  []  =  []


By


Latex:
Auto




Home Index