Skip to content
Commit Verification

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

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

Triggered via pull request July 23, 2026 11:53
@themathqueenthemathqueen
synchronize #40604
xroblot:feat/MulDistribMulAction-smul-zero
Status Success
Total duration 45s
Artifacts 1

commit_verification.yml

on: pull_request
Verify Transient and Automated Commits
41s
Verify Transient and Automated Commits
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
workflow-data
1.09 KB
sha256:b5248e0a79551cad6d2e9994e11800bc27a8f2043a17d430b19ad400580d77b2