Displaying similar documents to “Vanishing cycles for formal schemes.”