Commit 2026-06-10 05:41 49194617

chore: move things out of the RingQuot file (#40426) Unfortunately to get away with this some assert_not_exists need to change. I think both of these were not particularly reasonable:

• LinearMap not being available for two-sided ideals seems overly aggressive given it is needed for Ideal.
• Finset ones place TwoSidedIdeal at odds with all the other subobjects; these import big operators far earlier.