Commit 2021-12-10 09:20 ce0e2c44
View on Github →feat(category_theory/limits): Pullback API (#10620) Needed for constructing fibered products of Schemes
feat(category_theory/limits): Pullback API (#10620) Needed for constructing fibered products of Schemes