Theorem CategoryTheory.ForgetEnrichment.homTo_id

Modification history