Skip to content
Commit Verification

[Merged by Bors] - feat(RingTheory/MvPowerSeries/NoZeroDivisors): simplify the proof by adding exists_wellFoundedGT #26734

Sign in to view logs

[Merged by Bors] - feat(RingTheory/MvPowerSeries/NoZeroDivisors): simplify the proof by adding exists_wellFoundedGT

[Merged by Bors] - feat(RingTheory/MvPowerSeries/NoZeroDivisors): simplify the proof by adding exists_wellFoundedGT #26734

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

commit_verification.yml

on: pull_request
Verify Transient and Automated Commits
35s
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:6b3a349386c12218f4c824ef941f775750294d4e87484855945d5f0dfe7aaf1d