Theorem Finset.exists_compls_iff

Modification history