Theorem CategoryTheory.Pseudofunctor.StrongTrans.naturality_naturality_hom

Modification history