Theorem Submodule.linearMap_eq_zero_iff_of_span_eq_top

Modification history