Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_transcendence_basis.is_algebraic

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 is_transcendence_basis.is_algebraic View on Github →