Theorem Bound.pow_le_pow_right_of_le_one_or_one_le
Modification history
2025-04-10 12:30
Mathlib/Algebra/Order/GroupWithZero/Unbundled/Basic.lean
feat(Order/GroupWithZero): drop more TC assumptions (#23901)
Modified Bound.pow_le_pow_right_of_le_one_or_one_leView on Github →