Theorem Submodule.reflection_trans_reflection

Modification history