Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-04-23 07:22 0d7b4195

View on Github →

fix(ring_theory/adjoin_root): move adjoin_root out of adjoin_root namespace (#960)

Estimated changes

added def adjoin_root