2025-11-28 10:31
Mathlib/CategoryTheory/Bicategory/Modification/Pseudo.lean
feat(Bicategory/Modification/Pseudo): define modifications between strong natural transformations of pseudofunctors (#30895) …
Added CategoryTheory.Pseudofunctor.StrongTrans.Modification.whiskerLeft_naturality