Theorem LinearIsometryEquiv.inner_map_eq_flip

Modification history