PrintForm Definitions mb collection Sections GenAutomata Doc

At: col none le

T:Type, c:Collection(T). < > c
By:
Unfold `col_le` 0
THEN
RWW "member_col_none" 0
Generated subgoals:

None

About:
universeall

PrintForm Definitions mb collection Sections GenAutomata Doc