mathlib3
f2be42db - feat(category_theory/*/projective): refactor treatment of projective objects

Commit

4 years ago

feat(category_theory/*/projective): refactor treatment of projective objects

Author

kim-em

kim-em

Parents

Loading