Isometry for presentation

by Alex Ionov