Theorem Submodule.finset_span_isCompactElement

Modification history