Theorem Submodule.reflection_involutive

Modification history