Theorem CategoryTheory.Equivalence.id_asNatTrans

Modification history