Skip to content
Post PR summary comment

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

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 #23540

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

PR_summary.yml

on: pull_request
build
41s
build
Fit to window
Zoom out
Zoom in