Sqrt
📁 Source: Mathlib/Data/Int/Sqrt.lean
Statistics
| Metric | Count |
|---|---|
| Definitions | 0 |
| 5 | |
| Total | 5 |
Int
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
exists_mul_self 📖 | mathematical | — | sqrt | — | sqrt_eq |
sqrt_eq 📖 | mathematical | — | sqrt | — | sqrt.eq_1Nat.sqrt_eq |
sqrt_natCast 📖 | mathematical | — | sqrt | — | sqrt.eq_1 |
sqrt_nonneg 📖 | mathematical | — | sqrt | — | — |
sqrt_ofNat 📖 | mathematical | — | sqrt | — | sqrt_natCast |
---