Theorem CategoryTheory.Iso.toIsometryEquiv_symm

Modification history