Skip to content

[Merged by Bors] - chore(Algebra): generalize subalgebra operations to semirings #4765

[Merged by Bors] - chore(Algebra): generalize subalgebra operations to semirings

[Merged by Bors] - chore(Algebra): generalize subalgebra operations to semirings #4765

Add closed-pr emoji in Zulip

succeeded Oct 13, 2025 in 2s