Theorem Submodule.reflection_apply

Modification history