Def CategoryTheory.Pairwise.coconeιApp

Modification history

2023-05-14 07:05

Mathlib/CategoryTheory/Category/Pairwise.lean

chore: Rename to `sSup`/`iSup` (#3938) …

Modified CategoryTheory.Pairwise.coconeιApp View on Github →

2023-03-02 07:41

Mathlib/CategoryTheory/Category/Pairwise.lean

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

Added CategoryTheory.Pairwise.coconeιApp View on Github →