Skip to content
Label New Contributors

[Merged by Bors] - feat: Fintype instance for an extended family of linearly independent vectors #36771

Sign in to view logs

[Merged by Bors] - feat: Fintype instance for an extended family of linearly independent vectors

[Merged by Bors] - feat: Fintype instance for an extended family of linearly independent vectors #36771

Triggered via pull request October 8, 2024 19:04
@EtienneC30EtienneC30
synchronize #17541
em/fintype_extend
Status Success
Total duration 15s
Artifacts –

label_new_contributor.yml

on: pull_request
label-and-report-new-contributor
5s
label-and-report-new-contributor
Fit to window
Zoom out
Zoom in