Theorem CategoryTheory.ModuleCat.ExtendScalars.map_tmul

Modification history