Def CategoryTheory.ModuleCat.restrictCoextendScalarsAdj

Modification history