Theorem Module.End.mem_invtSubmodule

Modification history