Theorem Submodule.inf_iInf

Modification history