Theorem CategoryTheory.Iso.toEquiv_comp

Modification history