(2steps) PrintForm Definitions mb collection Sections GenAutomata Doc

At: col le transitivity 1
1. T: Type
2. a: Collection(T)
3. b: Collection(T)
4. c: Collection(T)
5. x:T. x a x b
6. x:T. x b x c
7. x: T
8. x a

x c
By: Repeat BackThruSomeHyp
Generated subgoals:

None

About:
universeimpliesall

(2steps) PrintForm Definitions mb collection Sections GenAutomata Doc