Theorem IsometryEquiv.toDilationEquiv_apply

Modification history