Theorem Submodule.nontrivial_span_singleton

Modification history