Label New Contributors

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

Sign in to view logs

Triggered via pull request April 13, 2026 22:24

IvanRenison

opened #38021

Status Success

Total duration 11s

Artifacts –

label_new_contributor.yml

on: pull_request_target

label-and-report-new-contributor