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

At: equal append front 2
1. T: Type
2. x: T List
3. y: T List
4. z: T List
5. x = y
(x @ z) = (y @ z)
By: Obvious
Generated subgoals:

None

About:
listuniverseequal

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