Theorem Submodule.le_self_mul_one_div

Modification history