Theorem Submodule.span_span_coe_preimage

Modification history