Theorem LieSubmodule.span_iUnion

Modification history