Theorem CategoryTheory.Iso.eHomCongr_symm

Modification history