Theorem generateFrom_prod_eq

Modification history