Theorem Submodule.reflection_inv

Modification history