Def CategoryTheory.Pairwise.id

Modification history

2023-03-02 07:41

Mathlib/CategoryTheory/Category/Pairwise.lean

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

Added CategoryTheory.Pairwise.id View on Github →