mathlib

224d62bf - some more golf polynomial.ring_division