Theorem LinearIsometry.isComplete_map_iff

Modification history