Theorem Equiv.prodSumDistrib_apply_right

Modification history