Theorem Subalgebra.restrictScalars_toSubmodule

Modification history