Theorem Colex.colex_lt_of_ssubset

Modification history