Theorem Basis.mem_submodule_iff

Modification history