Theorem CategoryTheory.eqToHom_comp_iff

Modification history