Skip to content
Commit Verification

feat(Data/Int/ModEq): add theorem modEq_two_abs #27264

Sign in to view logs

feat(Data/Int/ModEq): add theorem modEq_two_abs

feat(Data/Int/ModEq): add theorem modEq_two_abs #27264

Triggered via pull request April 13, 2026 22:24
@IvanRenisonIvanRenison
opened #38021
IvanRenison:modEq_two_abs
Status Success
Total duration 36s
Artifacts 1

commit_verification.yml

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

Artifacts

Produced during runtime
Name Size Digest
workflow-data Expired
1.03 KB
sha256:26f4ba1238d8d4e7c502351cf0ead0bb643839e8cd7829b29ac48c058a13c027