Commit 2023-01-06 22:01 0a8b6996
View on Github →feat: port Int and LinearOrderedSemifield division positivity extensions (#1391)
Ports positivity_div from mathlib3: https://github.com/leanprover-community/mathlib/blob/792a2a264169d64986541c6f8f7e3bbb6acb6295/src/tactic/positivity.lean#L471-L533