Theorem Submodule.smul_eq_map₂

Modification history