Theorem Nat.eq_sq_add_sq_iff_eq_sq_mul

Modification history