Theorem CategoryTheory.ModuleCat.restrictScalars.smul_def

Modification history