Theorem pow_lt_pow_succ
Modification history
2025-08-05 07:35
Mathlib/Algebra/Order/GroupWithZero/Canonical.lean
chore: further >6month old deprecations (#27799)
Deleted pow_lt_pow_succView on Github →2024-11-20 10:54
Mathlib/Algebra/Order/GroupWithZero/Canonical.lean
chore: deprecate `LinearOrderedCommGroupWithZero` lemmas (#19197) …
Modified pow_lt_pow_succView on Github →