Commit 2023-01-17 02:29 5a24d15f
View on Github →feat: port the positivity_max extension (#1442)
Ports the positivity_max positivity extension from mathlib3: https://github.com/leanprover-community/mathlib/blob/2f7b36ab1dffd22fcc18e8ad84340e7314abc819/src/tactic/positivity.lean#L389-L415