Theorem CategoryTheory.ModuleCat.restrictScalars.map_apply

Modification history