Theorem CategoryTheory.Pseudofunctor.StrongTrans.naturality_id_hom

Modification history