Theorem Submodule.ker_starProjection

Modification history