Theorem Nat.eq_sq_add_sq_iff

Modification history