Def CategoryTheory.Pairwise.diagramMap

Modification history

2023-03-02 07:41

Mathlib/CategoryTheory/Category/Pairwise.lean

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

Added CategoryTheory.Pairwise.diagramMap View on Github →