Commit 2021-07-09 09:42 11348653
View on Github →feat(category_theory/limits): finite products from finite limits (#8236) Adds instances for finite products from finite limits.
feat(category_theory/limits): finite products from finite limits (#8236) Adds instances for finite products from finite limits.