Undo deletion by tapping the relevant "trash icon with diagonal line ... accessible through the Files app. Choose a location ...