Theorem LieSubmodule.mem_lieSpan

Modification history