Def CategoryTheory.ModuleCat.RestrictionCoextensionAdj.HomEquiv.toRestriction

Modification history