Theorem Set.prod_eq_prod_iff

Modification history