Commit 2022-06-13 19:21 b44e742e
View on Github →feat(category_theory/limits): realise products as pullbacks (#14322)
This was mostly done in #10581, this just adds the isomorphisms between the objects produced by the has_limit API.
feat(category_theory/limits): realise products as pullbacks (#14322)
This was mostly done in #10581, this just adds the isomorphisms between the objects produced by the has_limit API.