Theorem Submodule.span_coe_eq_restrictScalars

Modification history