2025-05-12 14:24
Mathlib/CategoryTheory/Bicategory/NaturalTransformation/Strong.lean
feat(Bicategory/NaturalTransformation): strong transformations between pseudofunctors (#18253) …
Deleted CategoryTheory.StrongOplaxTrans.whiskerRight_naturality_naturality