Skip to content
Post PR summary comment

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

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

Triggered via pull request October 28, 2024 08:27
@alreadydonealreadydone
synchronize #17708
Ideal.mul
Status Success
Total duration 48s
Artifacts –

PR_summary.yml

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