2024-07-19 10:46
Mathlib/CategoryTheory/Bicategory/NaturalTransformation/Strong.lean
feat(Bicategory/NaturalTransformation/Strong): define strong natural transformations (#14028) …
Added CategoryTheory.StrongOplaxNatTrans.whiskerRight_naturality_comp