Theorem CategoryTheory.Iso.eHomCongr_inv_comp

Modification history