Theorem Finset.prod_congr_of_eq_on_inter

Modification history