Commit 2021-04-27 07:21 465cf5ad
View on Github →feat(category_theory/abelian): biproducts of projective objects are projective (#7319)
Also all objects of Type are projective.
feat(category_theory/abelian): biproducts of projective objects are projective (#7319)
Also all objects of Type are projective.