Theorem Set.prod_eq

Modification history