Theorem LieSubmodule.lieSpan_eq

Modification history