Theorem Submodule.reflection_orthogonal

Modification history