Theorem LinearIsometryEquiv.reflections_generate_dim_aux

Modification history