Skip to content
Commit Verification

feat(RingTheory/MvPowerSeries/NoZeroDivisors): simplify the proof by adding exists_wellFoundedGT #26728

Sign in to view logs

feat(RingTheory/MvPowerSeries/NoZeroDivisors): simplify the proof by adding exists_wellFoundedGT

feat(RingTheory/MvPowerSeries/NoZeroDivisors): simplify the proof by adding exists_wellFoundedGT #26728

Triggered via pull request April 12, 2026 08:07
@AntoineChambert-LoirAntoineChambert-Loir
synchronize #36892
AntoineChambert-Loir:ACL-EWInstances
Status Success
Total duration 39s
Artifacts 1

commit_verification.yml

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

Artifacts

Produced during runtime
Name Size Digest
workflow-data
1.08 KB
sha256:0c1bd49e74e6555f757cfcfb78d5a2db1c61e02fd9a687177b80df1d75d5fc09