Theorem untrop_prod

Modification history