Theorem LieSubmodule.lieSpan_le

Modification history