Theorem Submodule.mem_of_span_eq_top_of_smul_pow_mem

Modification history