Theorem Nat.not_exists_sq
Modification history
2024-08-29 10:45
Mathlib/Data/Nat/Defs.lean
chore: split out Data.Nat.Sqrt (#16237)
Modified Nat.not_exists_sqView on Github →2024-08-29 06:34
Mathlib/Data/Nat/Defs.lean
revert accidental pushes to master (#16242)
Modified Nat.not_exists_sqView on Github →2024-08-29 14:40
Mathlib/Data/Nat/Sqrt.lean
chore: split out Data.Nat.Sqrt
Added Nat.not_exists_sqView on Github →2024-08-29 14:40
Mathlib/Data/Nat/Defs.lean
chore: split out Data.Nat.Sqrt
Deleted Nat.not_exists_sqView on Github →2024-04-08 02:32
Mathlib/Data/Nat/Defs.lean
chore(Data/Nat/Defs): Integrate `Nat.sqrt` material (#11866) …
Modified Nat.not_exists_sqView on Github →