Theorem IsometryEquiv.toDilationEquiv_symm

Modification history