Theorem mul_add_eq_mul_add_iff_sub_mul_add_eq

Modification history