Theorem inducing_const_prod

Modification history