Theorem AlgebraicClosure.isAlgebraic
Modification history
2024-05-16 14:20
Mathlib/FieldTheory/IsAlgClosed/AlgebraicClosure.lean
refactor: Turn Algebra.IsAlgebraic and Algebra.IsIntegral into classes (#12761) …
Deleted AlgebraicClosure.isAlgebraicView on Github →