Theorem LieSubmodule.sInf_toSubmodule_eq_iInf

Modification history