Theorem Equiv.prodSumDistrib_apply_left

Modification history