Theorem orderOf_le_card

Modification history

2025-02-02 08:19

Mathlib/GroupTheory/OrderOfElement.lean

chore(GroupTheory/SpecificGroups/Cyclic): isCyclic_of_card_le_orderOf (#21297)

Added orderOf_le_card View on Github →