Theorem Submodule.map_iInf_of_ker_le

Modification history