Theorem LieSubmodule.sInf_glb

Modification history