Structure CategoryTheory.OplaxNatTrans

Modification history

2023-06-05 02:03

Mathlib/CategoryTheory/Bicategory/NaturalTransformation.lean

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

Added CategoryTheory.OplaxNatTrans View on Github →