Label New Contributors

[Merged by Bors] - feat(Mathlib.NumberTheory.Cyclotomic.Three): add various results #17249

Sign in to view logs

Triggered via pull request June 25, 2024 08:44

synchronize #13798

RB/flt_lemmas

Status Success

Total duration 10s

Artifacts –

label_new_contributor.yml

on: pull_request

label-and-report-new-contributor