c2 == 
x:T. x 
c1 
x c2T:Type, c1,c2:Collection(T). c1 c2 Prop c == c(x)T:Type, x:T, c:Collection(T). x c Prop| Who Cites col le? | |
| col_le | Def c1 c2 == x:T. x c1 x c2 |
| Thm* T:Type, c1,c2:Collection(T). c1 c2 Prop | |
| col_member |
Def x c == c(x) |
| Thm* T:Type, x:T, c:Collection(T). x c Prop |
| Syntax: | c1 c2 | has structure: | col_le(T; c1; c2) |
About:
 |  |  |  |  |  |  |