[Merged by Bors] - feat(RingTheory/Ideal/Colon): add a few API lemmas#34060
Closed
tb65536 wants to merge 6 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - feat(RingTheory/Ideal/Colon): add a few API lemmas#34060tb65536 wants to merge 6 commits intoleanprover-community:masterfrom
tb65536 wants to merge 6 commits intoleanprover-community:masterfrom
Commits
Commits on Jan 16, 2026
- committed
- committed
- committed
- committed
