(5steps total) PrintForm Definitions Lemmas graph 1 2 Sections Graphs Doc

At: paren balance2 1
1. T: Type
2. i: T
3. (inr(i) nil)
(inl(i) nil)
By: Obvious
Generated subgoals:

None

About:
nilunioninlinruniverse

(5steps total) PrintForm Definitions Lemmas graph 1 2 Sections Graphs Doc