Mathlib v3 is deprecated. Go to Mathlib v4

Theorem exists_is_transcendence_basis

Modification history

2021-10-04 09:48

src/ring_theory/algebraic_independent.lean

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

Added exists_is_transcendence_basis View on Github →