mathlib
3a8665a8 - feat(tactic/positivity): Handle division of integers (#16163)

Commit

3 years ago

feat(tactic/positivity): Handle division of integers (#16163) Extend `positivity_div` to handle division of integers.

Author

YaelDillies

Parents