Step * 1 3 1 of Lemma lg-nil-append


1. Type
⊢ [] []
BY
Auto }


Latex:



Latex:

1.  T  :  Type
\mvdash{}  []  \msim{}  []


By


Latex:
Auto




Home Index