Theorem Real.sqrt_eq_iff_eq_mul_self

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_mul_selfView on Github →