Theorem LinearIsometry.inner_map_map

Modification history