Theorem CategoryTheory.Equivalence.comp_asNatTrans

Modification history