Def CategoryTheory.OplaxNatTrans.id

Modification history

2023-06-05 02:03

Mathlib/CategoryTheory/Bicategory/NaturalTransformation.lean

feat: port CategoryTheory.Bicategory.NaturalTransformation (#4594)

Added CategoryTheory.OplaxNatTrans.id View on Github →