Label New Contributors

[Merged by Bors] - feat(Topology/Algebra/InfiniteSum/NatInt): add more pnat tsum lemmas #105789

Sign in to view logs

Triggered via pull request September 30, 2025 16:19

CBirkbeck

synchronize #27841

Status Success

Total duration 11s

Artifacts –

label_new_contributor.yml

on: pull_request_target

label-and-report-new-contributor

⚡