Theorem Submodule.range_starProjection

Modification history