Def CategoryTheory.Pairwise.comp

Modification history

2023-03-02 07:41

Mathlib/CategoryTheory/Category/Pairwise.lean

feat: port CategoryTheory.Category.Pairwise (#2534)

Added CategoryTheory.Pairwise.comp View on Github →