Theorem Finset.inter_eq_univ

Modification history