[Merged by Bors] - feat(Algebra): Submodule R A is algebra over Ideal A
#65509
Triggered via issue
November 18, 2024 16:00
alreadydone
Status
Success
Total duration
12s
Artifacts
–
add_label_from_comment.yml
on: issue_comment
Add ready-to-merge label
3s
Add delegated label
0s