Skip to content
Label New Contributors

refactor: generalize Mul of Submodule and SMul of Ideal on Submodule to noncommutative setting #37685

Sign in to view logs

refactor: generalize Mul of Submodule and SMul of Ideal on Submodule to noncommutative setting

refactor: generalize Mul of Submodule and SMul of Ideal on Submodule to noncommutative setting #37685

Triggered via pull request October 13, 2024 23:56
@alreadydonealreadydone
synchronize #17708
Ideal.mul
Status Success
Total duration 16s
Artifacts –

label_new_contributor.yml

on: pull_request
label-and-report-new-contributor
5s
label-and-report-new-contributor
Fit to window
Zoom out
Zoom in