Displaying similar documents to “A combinatorial proof of the extension property for partial isometries”