Theorem LieSubmodule.subset_lieSpan

Modification history