Theorem pow_lt_pow_of_lt_left
Modification history
2022-09-17 09:00
src/algebra/group_power/order.lean
move(algebra/field_power): Put lemmas in the correct place (#16465) …
Modified pow_lt_pow_of_lt_leftView 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 pow_lt_pow_of_lt_leftView on Github →2021-04-30 20:11
src/algebra/group_power/basic.lean
refactor(algebra/group_power): put lemmas about order and power in their own file (#7398) …
Modified pow_lt_pow_of_lt_leftView on Github →2020-09-25 00:12
src/algebra/group_power/basic.lean
refactor(algebra/group_power, data/nat/basic): remove redundant lemmas (#4243) …
Modified pow_lt_pow_of_lt_leftView on Github →