Theorem LinearIsometryEquiv.map_ne

Modification history