Inductive CategoryTheory.Pairwise

Modification history

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