Theorem AlgHom.fieldRange_le_normalClosure

Modification history

2023-11-18 00:38

Mathlib/FieldTheory/NormalClosure.lean

feat: IsNormalClosure predicate (#8418) …

Modified AlgHom.fieldRange_le_normalClosure View on Github →

2023-09-07 00:04

Mathlib/FieldTheory/NormalClosure.lean

refactor(FieldTheory/NormalClosure): change definition and add API (#6163) …

Added AlgHom.fieldRange_le_normalClosure View on Github →