Theorem CategoryTheory.Pseudofunctor.StrongTrans.comp_app

Modification history