Skip to content
Back to pull request #19539

[Merged by Bors] - feat(CategoryTheory): Relation between the Grothendieck construction and AsSmall #48354

Sign in to view logs

[Merged by Bors] - feat(CategoryTheory): Relation between the Grothendieck construction and AsSmall

[Merged by Bors] - feat(CategoryTheory): Relation between the Grothendieck construction and AsSmall #48354

label-and-report-new-contributor

label-and-report-new-contributor
succeeded Nov 30, 2024 in 2s