Commit 2021-09-30 08:02 92526c89

chore(ring_theory/localization): speed up localization a bit (#9414) Now nsmul and gsmul are irreducible on localization. This helps against timeouts when combining localization and polynomial, although the full test case is still quite slow (going from >40sec to approx 11 sec).