Theorem Colex.colex_lt_of_sSubset

Modification history