Theorem LinearMap.IsProj.mem_invtSubmodule_iff

Modification history