Skip to content

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

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

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

Lint style

succeeded Oct 5, 2025 in 2m 2s