Theorem Submodule.reflection_mul_reflection

Modification history