Def IsAlgClosed.equivOfTranscendenceBasis

Modification history

2023-06-10 04:50

Mathlib/FieldTheory/IsAlgClosed/Classification.lean

feat: port FieldTheory.IsAlgClosed.Classification (#4940)

Added IsAlgClosed.equivOfTranscendenceBasis View on Github →