Theorem Submodule.map₂_span_singleton_eq_map_flip

Modification history