Commit 2023-01-05 19:42 0d29f110
View on Github →feat: add evalPowZeroInt positivity extension (#1196) Adds a new positivity extension to handle integer exponents of value 0. Corresponds to this piece of logic in mathlib3. This lets us uncomment another test case.