Theorem CategoryTheory.Pseudofunctor.StrongTrans.whiskerLeft_naturality_naturality

Modification history