Def CategoryTheory.SingleObj.natTrans

Modification history

2024-01-12 17:18

Mathlib/CategoryTheory/SingleObj.lean

chore(CategoryTheory/SingleObj): unify notation (#9696) …

Modified CategoryTheory.SingleObj.natTrans View on Github →

2024-01-10 08:02

Mathlib/CategoryTheory/SingleObj.lean

feat(CategoryTheory/SingleObj): add functor and NatTrans constructors for `SingleObj` (#9586) …

Added CategoryTheory.SingleObj.natTrans View on Github →