Theorem Submodule.mem_invtSubmodule_reflection_iff

Modification history