Def IsOfFinOrder.unit

Modification history

2025-03-14 03:11

Mathlib/GroupTheory/OrderOfElement.lean

feat: Galois groups of finite fields (#22885)

Deleted IsOfFinOrder.unit View on Github →

2024-01-06 13:21

Mathlib/GroupTheory/OrderOfElement.lean

feat: Cyclic extensions are kummer. (#9368)

Added IsOfFinOrder.unit View on Github →