Theorem ModuleCat.RestrictionCoextensionAdj.HomEquiv.toRestriction_hom_apply

Modification history