Theorem Submodule.extendScalars_bot

Modification history