Theorem LinearMap.IsIdempotentElem.ker_mem_invtSubmodule_iff

Modification history