Skip to content
Label New Contributors

[Merged by Bors] - feat: a continuous linear map into continuous multilinear maps is analytic #32702

Sign in to view logs

[Merged by Bors] - feat: a continuous linear map into continuous multilinear maps is analytic

[Merged by Bors] - feat: a continuous linear map into continuous multilinear maps is analytic #32702

Triggered via pull request September 16, 2024 06:32
@sgouezelsgouezel
opened #16844
SG_linear_multilinear
Status Success
Total duration 14s
Artifacts –

label_new_contributor.yml

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