Theorem Finset.inter_congr_right

Modification history