Theorem CategoryTheory.Iso.toEquiv_symm_fun

Modification history