Theorem Finset.compl_empty

Modification history