mathlib3
a6d9c65a - feat(category_theory/extensive): Define extensive categories (#17318)

Commit
3 years ago
feat(category_theory/extensive): Define extensive categories (#17318) Co-authored-by: Andrew Yang <36414270+erdOne@users.noreply.github.com>
Author
Parents
Loading