Theorem Finset.inter_congr_left

Modification history