Theorem LinearIsometry.diam_range

Modification history