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