Def CategoryTheory.ModuleCat.extendRestrictScalarsAdj

Modification history