Theorem Submodule.restrictScalars_bot

Modification history