Theorem LinearIsometry.map_starProjection'

Modification history