Theorem Submodule.linearMap_eq_zero_iff_of_eq_span

Modification history