Theorem Equiv.sumProdDistrib_symm_apply_right

Modification history