Theorem mem_fullyInvariantSubmodule_iff

Modification history