Theorem Submodule.isIdempotentElem_starProjection

Modification history