Mathlib v3 is deprecated. Go to Mathlib v4

Theorem order_of_inv

Modification history

2022-03-16 11:53
src/group_theory/order_of_element.lean
feat(group_theory/noncomm_pi_coprod): homomorphism from pi monoids or groups (#11744)
Added order_of_invView on Github →