mathlib
91df768e - feat(tactic/positivity): Extension for `int.nat_abs` (#16787)

Commit

3 years ago

feat(tactic/positivity): Extension for `int.nat_abs` (#16787) Add `positivity_nat_abs`, a positivity extension for `int.nat_abs`.

References

Author

YaelDillies

Parents