Theorem Finset.inter_right_idem

Modification history