Theorem CategoryTheory.Iso.symm_self_conj

Modification history