Theorem Submodule.smul_infᵢ_le

Modification history