Commit 2021-11-04 09:43 76ba1b64

chore(ring_theory/finiteness): make finite_presentation.{quotient,mv_polynomial} protected (#10091) This lets us clean up some _root_s This also golfs a proof