Theorem CategoryTheory.ModuleCat.CoextendScalars.smul_apply'

Modification history