Def Tactic.NormNum.evalNNRealSqrt

Modification history

2025-03-01 19:37

Mathlib/Tactic/NormNum/RealSqrt.lean

feat: `norm_num` extension for `Real.sqrt` and `NNReal.sqrt` (#21102) …

Added Tactic.NormNum.evalNNRealSqrt View on Github →