Theorem Submodule.span_preimage_le

Modification history