Theorem LieSubmodule.span_univ

Modification history