Theorem pow_succ_pos

Modification history

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