Theorem prod_eq_generateFrom

Modification history