Infinite Dimensional Lie Transformation Groups by H. Omori