Theorem IsometryEquiv.toDilationEquiv_ratio

Modification history