Theorem Module.End.mem_invtSubmodule_iff_mapsTo

Modification history