Theorem Finset.compls_eq_empty

Modification history