Def CategoryTheory.ThinSkeleton.mapNatTrans

Modification history

2023-09-14 13:42

Mathlib/CategoryTheory/Skeletal.lean

style: fix wrapping of `where` (#7149)

Modified CategoryTheory.ThinSkeleton.mapNatTrans View on Github →

2023-02-22 19:47

Mathlib/CategoryTheory/Skeletal.lean

feat: port CategoryTheory.Skeletal (#2432)

Added CategoryTheory.ThinSkeleton.mapNatTrans View on Github →