Theorem CategoryTheory.Equivalence.mkHom_asNatTrans

Modification history