Skip to content
Maintainer merge

feat(Algebra.GroupWithZero): generalize SMulZeroClass to MonoidWithZero and lift MulDistribMulAction to nonZeroDivisors #306703

Sign in to view logs

feat(Algebra.GroupWithZero): generalize SMulZeroClass to MonoidWithZero and lift MulDistribMulAction to nonZeroDivisors

feat(Algebra.GroupWithZero): generalize SMulZeroClass to MonoidWithZero and lift MulDistribMulAction to nonZeroDivisors #306703

Triggered via issue July 23, 2026 11:53
@themathqueenthemathqueen
commented on #40604 e780b56
Status Skipped
Total duration 1s
Artifacts –

maintainer_merge.yml

on: issue_comment
Ping maintainers on Zulip
0s
Ping maintainers on Zulip
Fit to window
Zoom out
Zoom in