mathlib
9e54ad01 - feat(ring_theory/algebraic_independent): algebraic independence (#9229)

Commit

4 years ago

feat(ring_theory/algebraic_independent): algebraic independence (#9229) Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>

Author

ChrisHughes24

Parents

709b4498

mathlib 9e54ad01 - feat(ring_theory/algebraic_independent): algebraic independence (#9229)

mathlib
9e54ad01 - feat(ring_theory/algebraic_independent): algebraic independence (#9229)