Theorem List.smul_prod

Modification history