Theorem Basis.mem_submodule_iff'

Modification history