Structure Subfield

Modification history

2024-11-11 13:54

Mathlib/Algebra/Field/Subfield/Basic.lean

chore(Algebra/Field): split `Subfield.lean` into `Defs` and `Basic` (#18528) …

Modified Subfield View on Github →

2023-12-25 18:43

Mathlib/FieldTheory/Subfield.lean

refactor: Subfield of DivisionRing, not just Field (#8941) …

Modified Subfield View on Github →

2023-02-22 19:59

Mathlib/FieldTheory/Subfield.lean

feat: port FieldTheory.Subfield (#2395) …

Added Subfield View on Github →