mathlib
be2e42fb - chore(ring_theory/algebraic): speedup slow proof (#3336)

Commit

5 years ago

chore(ring_theory/algebraic): speedup slow proof (#3336) Co-authored-by: Gabriel Ebner <gebner@gebner.org>

Author

jcommelin

Parents