Theorem Int.isSquare_natCast_iff

Modification history

2024-06-15 21:43

Mathlib/Algebra/Ring/Int.lean

feat: `norm_cast` lemmas about `IsSquare` and `{Int,Rat}.sqrt` (#13788)

Added Int.isSquare_natCast_iff View on Github →