Theorem Transcendental.subalgebraAlgebraicClosure

Modification history

2025-04-24 04:08

Mathlib/RingTheory/Algebraic/Integral.lean

chore(RingTheory): equivalence between algebraicity over `IntermediateField.adjoin` and `Algebra.adjoin` (#24004)

Modified Transcendental.subalgebraAlgebraicClosure View on Github →

2024-12-05 08:47

Mathlib/RingTheory/Algebraic/Integral.lean

feat(RingTheory/Algebraic): transitivity of algebraicity (#19660) …

Added Transcendental.subalgebraAlgebraicClosure View on Github →