Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-16 23:52 4ed73168

View on Github →

feat(analysis/special_functions/pow): tendsto rpow lemma for ennreals (#11475)

Estimated changes