Theorem Module.End.mem_invtSubmodule_iff_forall_mem_of_mem

Modification history