Theorem CategoryTheory.StrongOplaxNatTrans.whiskerRight_naturality_id

Modification history

2025-04-25 04:02

Mathlib/CategoryTheory/Bicategory/NaturalTransformation/Strong.lean

feat(Bicategory/Oplax): Fix simp lemmas and renaming (#18252) …

Deleted CategoryTheory.StrongOplaxNatTrans.whiskerRight_naturality_id View on Github →

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_id View on Github →