Theorem AlgebraicIndependent.iff_adjoin_image_compl

Modification history

2025-04-06 17:49
Mathlib/RingTheory/AlgebraicIndependent/Transcendental.lean
feat(Algebra): Transcendence degree (#20887) …
Added AlgebraicIndependent.iff_adjoin_image_complView on Github →