Theorem IsIntegralClosure.isField

Modification history

2024-10-17 11:36

Mathlib/RingTheory/IntegralClosure/IsIntegralClosure/Basic.lean

feat(Algebra): integralClosure as IntermediateField (#14206) …

Added IsIntegralClosure.isField View on Github →