Mathlib v3 is deprecated. Go to Mathlib v4

Theorem order_of_eq_iff

Modification history

2022-12-30 09:49

src/group_theory/order_of_element.lean

chore(topology/instances/add_circle): golf (#18020) …

Added order_of_eq_iff View on Github →