Theorem two_mul_le_add_of_sq_eq_mul

Modification history