Theorem Submodule.disjoint_span_singleton

Modification history