Theorem Equiv.prodSumDistrib_symm_apply_left

Modification history