Theorem CategoryTheory.Pseudofunctor.StrongTrans.Modification.whiskerRight_naturality
Modification history
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.whiskerRight_naturalityView on Github →