Theorem Submodule.wcovBy_span_singleton_sup

Modification history