Theorem Finset.compls_empty

Modification history