Theorem Submodule.span_zero_singleton

Modification history