Theorem LinearIsometry.map_starProjection

Modification history