Commits
Branch selector
User selector
Commit History
Commits on Feb 23, 2024
Commits on Feb 22, 2024
Commits on Feb 20, 2024
Commits on Feb 19, 2024
Commits on Feb 14, 2024
Commits on Feb 13, 2024
Commits on Feb 12, 2024
Commits on Feb 11, 2024
Commits on Feb 9, 2024
feat(CategoryTheory/Localization): the localized category has finite products (leanprover-community#9692)
feat(Algebra/Homology/HomotopyCategory): rotating and shifting distinguished triangles (leanprover-community#9615)
feat(Algebra/Homology): the class of quasi-isomorphisms in the homotopy category (leanprover-community#9686)