Theorem Finset.toColex_ofColex

Modification history