Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebraic_independent.mv_polynomial_option_equiv_polynomial_adjoin_X_none

Modification history

2021-10-21 02:55
src/ring_theory/algebraic_independent.lean
chore(*): bump to lean 3.34.0 (#9824) …
Added algebraic_independent.mv_polynomial_option_equiv_polynomial_adjoin_X_noneView on Github →