Theorem Finset.UV.toColex_compress_lt_toColex

Modification history