Theorem IsAlgebraic.adjoin_of_forall_isAlgebraic

Modification history

2025-04-06 17:49
Mathlib/RingTheory/Algebraic/Integral.lean
feat(Algebra): Transcendence degree (#20887) …
Added IsAlgebraic.adjoin_of_forall_isAlgebraicView on Github →