Theorem LinearMap.IsIdempotentElem.range_mem_invtSubmodule_iff

Modification history