Mathlib v3 is deprecated. Go to Mathlib v4

Theorem not_is_of_fin_order_of_injective_pow

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 not_is_of_fin_order_of_injective_powView on Github →