Theorem CategoryTheory.GradedObject.eqToHom_apply

Modification history