sage

a8d9b035 - Merge branch '38012' into is_QuotientRing_deprecation