Theorem ContinuousLinearMap.IsIdempotentElem.ker_mem_invtSubmodule_iff

Modification history