[Merged by Bors] - feat(Algebra/Module/Submodule): Symmetric submodules are modular elements in the lattice of submodules over a semiring #230998
Triggered via pull request
April 13, 2026 16:20
martinwintermath
martinwintermath
submitted
#36689
Status
Skipped
Total duration
–
Artifacts
–
maintainer_bors.yml
on: pull_request_review
Add ready-to-merge or delegated label