Theorem LinearIsometry.toLinearMap_inj

Modification history