Theorem LieSubmodule.mem_mk_iff

Modification history