Theorem IsometryEquiv.toDilationEquiv_toDilation

Modification history