Theorem Submodule.restrictScalars_eq_top_iff

Modification history