Theorem Finset.inter_eq_inter_iff_right

Modification history