Theorem add_mul_self_eq

Modification history