Theorem CategoryTheory.eqToHom_heq_id_cod

Modification history