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 algebraic_independent.mv_polynomial_option_equiv_polynomial_adjoin