Theorem Submodule.reflection_singleton_apply

Modification history