Theorem Submodule.starProjection_apply_mem

Modification history