Theorem Submodule.span_zero

Modification history