Theorem LinearIsometry.preimage_ball

Modification history