Theorem Submodule.one_le_one_div

Modification history