Theorem Submodule.reflection_map_apply

Modification history