Theorem Equiv.sumProdDistrib_apply_right

Modification history