Back to pull request #15906

feat: define singular `n`-manifolds #31114

Sign in to view logs

Triggered via pull request September 7, 2024 07:54

grunweg

synchronize #15906

MR-singular-nmanifolds

Status Success

Total duration 12s

Artifacts –

label_new_contributor.yml

on: pull_request

label-and-report-new-contributor