Infinite-Dimensional Lie Groups door Hideki Omori