Theorem Submodule.reflection_mem_subspace_eq_self

Modification history