Theorem IntermediateField.finiteDimensional_bot
Modification history
2025-05-02 03:05
Mathlib/FieldTheory/KrullTopology.lean
refactor(FieldTheory/KrullTopology): clean up `KrullTopology.lean` (#22971) …
Deleted IntermediateField.finiteDimensional_botView on Github →