Theorem pow_succ_nonneg

Modification history

2025-08-14 03:55
Mathlib/Algebra/Order/GroupWithZero/Unbundled/Basic.lean
chore(Algebra/Order): generalize (#28227) …
Added pow_succ_nonnegView on Github →