Theorem Equiv.sumProdDistrib_symm_apply_left

Modification history