Theorem one_add_mul_le_pow

Modification history

2024-01-09 08:14
Mathlib/Algebra/GroupPower/Lemmas.lean
chore: Move Bernoulli's inequality (#9456) …
Modified one_add_mul_le_powView on Github →
2022-12-19 11:23
Mathlib/Algebra/GroupPower/Lemmas.lean
feat port Algebra.GroupPower.Lemmas (#1055) …
Added one_add_mul_le_powView on Github →