Theorem Finset.infs_compls_eq_diffs

Modification history