Mathlib Changelog v4

Changelog About Github

Theorem IntermediateField.gc

Modification history

2023-06-08 11:30

Mathlib/FieldTheory/Adjoin.lean

feat: port FieldTheory.Adjoin (#4723)

Added IntermediateField.gc View on Github →