Theorem LinearIsometryEquiv.map_smulₛₗ

Modification history