Inductive CategoryTheory.Pairwise.Hom

Modification history

2023-03-02 07:41
Mathlib/CategoryTheory/Category/Pairwise.lean
feat: port CategoryTheory.Category.Pairwise (#2534)
Added CategoryTheory.Pairwise.HomView on Github →