Theorem CategoryTheory.Iso.conj_apply

Modification history