Def CategoryTheory.ModuleCat.ExtendRestrictScalarsAdj.homEquiv

Modification history