Theorem Mathlib.Meta.NormNum.isNNRat_abs_nonneg

Modification history

2025-09-23 14:25
Mathlib/Tactic/NormNum/Abs.lean
feat: norm_num extension for abs (#29223) …
Added Mathlib.Meta.NormNum.isNNRat_abs_nonnegView on Github →