Theorem LinearIsometryEquiv.dist_map

Modification history