Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-02-12 11:17 c853c335

View on Github →

chore(analysis/specific_limits): replace mul_add_one_le_pow by pow_ge_one_add_mul

Estimated changes

deleted theorem mul_add_one_le_pow