Theorem CategoryTheory.eqToHom_app

Modification history