Theorem LinearIsometry.isComplete_image_iff

Modification history