mathlib
b7d4996e - chore(ring_theory/adjoin_root): speedup (#7905)

Commit

4 years ago

chore(ring_theory/adjoin_root): speedup (#7905) Speedup a lemma that has just timed out in bors, by removing a heavy `change`.

Author

sgouezel

Parents