Theorem Submodule.wcovby_span_singleton_sup

Modification history