Theorem CategoryTheory.Iso.symm_bijective

Modification history