Theorem Submodule.singleton_span_isCompactElement

Modification history