Theorem Submodule.linearMap_eq_iff_of_span_eq_top

Modification history