Theorem LinearIsometry.toLinearIsometryEquiv_apply

Modification history