Def CategoryTheory.Pairwise.diagramObj

Modification history

2023-03-02 07:41

Mathlib/CategoryTheory/Category/Pairwise.lean

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

Added CategoryTheory.Pairwise.diagramObj View on Github →