mathlib3
e3bf3f11 - feat(tactic/positivity): Extension for `function.const` (#17126)

Commit

3 years ago

feat(tactic/positivity): Extension for `function.const` (#17126) Positivity extension for `function.const`

Author

YaelDillies

Parents