PrintForm Definitions mb collection Sections GenAutomata Doc

At: col le weakening

T:Type, c1,c2:Collection(T). c1 = c2 c1 c2
By:
Unfolds [`col_equal`;`col_le`] 0
THEN
Easy
Generated subgoals:

None

About:
universeimpliesall

PrintForm Definitions mb collection Sections GenAutomata Doc