Mathlib v3 is deprecated. Go to Mathlib v4

Theorem injective_pow_iff_not_is_of_fin_order

Modification history

2022-12-28 13:01
src/group_theory/order_of_element.lean
feat(topology/instances/add_circle): expand API for finite-order points on the circle (#17986)
Added injective_pow_iff_not_is_of_fin_orderView on Github →