Theorem Finset.compls_infs_eq_diffs

Modification history