Theorem CategoryTheory.eqToHom_refl

Modification history