Theorem CategoryTheory.Core.comp_hom

Modification history