Theorem Submodule.linearMap_eq_iff_of_eq_span

Modification history