Theorem Nat.eq_sq_add_sq_of_isSquare_mod_neg_one

Modification history