Theorem List.untrop_prod

Modification history