Theorem CategoryTheory.Iso.conj_id

Modification history