Theorem CategoryTheory.Iso.refl_conj

Modification history