Theorem Module.End.mem_invtSubmodule_symm_iff_le_map

Modification history