Theorem CategoryTheory.Equivalence.asNatTrans_mkHom

Modification history