mathlib

d67e527a - feat(algebra/group_power): prove Bernoulli's inequality for `a ≥ -2` (#1709)

feat(algebra/group_power): prove Bernoulli's inequality for `a ≥ -2` (#1709) * feat(algebra/group_power): prove Bernoulli's inequality for `a ≥ -2` * Restate inequalities as suggested by @fpvandoorn * Fix docs