Structure CategoryTheory.CoreHom

Modification history