Theorem Finset.compls_singleton

Modification history