Theorem CategoryTheory.comp_eqToHom_iff

Modification history