Theorem Submodule.reflection_orthogonal_apply

Modification history