Def CategoryTheory.ModuleCat.RestrictionCoextensionAdj.HomEquiv.fromRestriction

Modification history