Theorem reflection_mem_subspace_eq_self

Modification history