Commit 2021-06-01 23:18 2689c517
View on Github →feat(category_theory/abelian): abelian categories with enough projectives have projective resolutions (#7488)
feat(category_theory/abelian): abelian categories with enough projectives have projective resolutions (#7488)