Theorem CategoryTheory.ForgetEnrichment.homTo_comp

Modification history