Theorem CategoryTheory.Iso.toEquiv_fun

Modification history