Theorem Finset.compls_nonempty

Modification history