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