Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-25 17:42 8eb1c029

View on Github →

feat(analysis/special_functions/pow): Equivalent conditions for zero powers (#9897) Lemmas for 0^x in the reals and complex numbers.

Estimated changes