Commit 2023-01-09 23:41 8ee6f39c
View on Github →feat: port positivity_min extension (#1401)
Ports the positivity_min extension from mathlib3: https://github.com/leanprover-community/mathlib/blob/14e84382905302e3091536c4dcabb5bb09d63d21/src/tactic/positivity.lean#L355-L387