Theorem Finset.diffs_compls_eq_infs

Modification history