Skip to content
Post PR summary comment

feat(RingTheory/GradedAlgebra): define homogeneous submodule #29325

Sign in to view logs

feat(RingTheory/GradedAlgebra): define homogeneous submodule

feat(RingTheory/GradedAlgebra): define homogeneous submodule #29325

Triggered via pull request November 7, 2024 13:06
@jjaassoonnjjaassoonn
opened #18728
zjj/homogenousSubmodule'
Status Success
Total duration 47s
Artifacts –

PR_summary.yml

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