Theorem LinearIsometryEquiv.inner_map_map

Modification history