Theorem Module.End.mem_invtSubmodule_iff_map_le

Modification history