Theorem Submodule.mem_iff_norm_starProjection

Modification history