Def CategoryTheory.OplaxNatTrans.vcomp

Modification history

2023-06-05 02:03

Mathlib/CategoryTheory/Bicategory/NaturalTransformation.lean

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

Added CategoryTheory.OplaxNatTrans.vcomp View on Github →