Def CategoryTheory.internalizeHom

Modification history