Theorem AlgEquiv.isTranscendenceBasis

Modification history

2025-04-06 17:49

Mathlib/RingTheory/AlgebraicIndependent/Basic.lean

feat(Algebra): Transcendence degree (#20887) …

Added AlgEquiv.isTranscendenceBasis View on Github →