Theorem CategoryTheory.Pseudofunctor.StrongTrans.naturality_comp_hom

Modification history