feat(CategoryTheory): presheaves of types which preserve a limit#32725
Open
joelriou wants to merge 6 commits intoleanprover-community:masterfrom
Open
feat(CategoryTheory): presheaves of types which preserve a limit#32725joelriou wants to merge 6 commits intoleanprover-community:masterfrom
joelriou wants to merge 6 commits intoleanprover-community:masterfrom
