# Commit 2021-10-04 09:48 1faf964e

View on Github →feat(ring_theory/algebraic_independent): Existence of transcendence bases and rings are algebraic over transcendence basis (#9377)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(ring_theory/algebraic_independent): Existence of transcendence bases and rings are algebraic over transcendence basis (#9377)