Theorem Equiv.sumProdDistrib_apply_left

Modification history