Theorem Set.prod_eq_iff_eq

Modification history