Theorem CategoryTheory.ModuleCat.ExtendScalars.map'_comp

Modification history