Theorem CategoryTheory.Pseudofunctor.StrongTrans.whiskerRight_naturality_naturality

Modification history