feat(CategoryTheory/Localization): transport resolutions along 2-commutative squares#39265
Open
joelriou wants to merge 1 commit into
Open
feat(CategoryTheory/Localization): transport resolutions along 2-commutative squares#39265joelriou wants to merge 1 commit into
joelriou wants to merge 1 commit into
