Theorem CategoryTheory.Iso.toEquiv_id

Modification history