Def Subfield.closure

Modification history

2023-12-25 18:43

Mathlib/FieldTheory/Subfield.lean

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

Modified Subfield.closure View on Github →

2023-02-22 19:59

Mathlib/FieldTheory/Subfield.lean

feat: port FieldTheory.Subfield (#2395) …

Added Subfield.closure View on Github →