Theorem Submodule.reflection_sub

Modification history