Theorem CategoryTheory.Iso.self_symm_conj

Modification history