Theorem strict_mono_pow
Modification history
2022-12-13 03:30
src/algebra/group_power/order.lean
feat(algebra/group_power/order): add monotonicity lemmas (#17895) …
Deleted strict_mono_powView on Github →2021-11-04 07:56
src/algebra/group_power/order.lean
feat(algebra/group_power/order): Sign of an odd/even power without linearity (#10122) …
Modified strict_mono_powView on Github →