Theorem Real.sqrt_eq_iff_eq_sq

Modification history

2024-08-25 10:33
Mathlib/Data/Real/Sqrt.lean
refactor: Make it so that `sqrt` lemmas don't turn equalities around (#16134) …
Added Real.sqrt_eq_iff_eq_sqView on Github →