Theorem CategoryTheory.ModuleCat.CoextendScalars.map_apply

Modification history