Theorem LinearIsometry.edist_map

Modification history