mathlib
631175a8 - feat(category_theory/idempotents): universal property of karoubi (#17603)

Commit

3 years ago

feat(category_theory/idempotents): universal property of karoubi (#17603)

Author

joelriou

joelriou

Parents

Loading