Theorem Finset.orderEmbOfFin_compl_singleton

Modification history