Theorem Finset.Colex.lt_iff_exists_filter_lt

Modification history