Theorem zpow_right_strictAnti

Modification history

2024-09-24 12:27
Mathlib/Algebra/Order/Group/Basic.lean
chore(Order/Group): golf (#17079) …
Modified zpow_right_strictAntiView on Github →
2024-09-20 18:56
Mathlib/Algebra/Order/Group/Basic.lean
feat(Order/Group): add `zpow_right_strictAnti` (#16937) …
Added zpow_right_strictAntiView on Github →