Infinite dimensional Lie group

‹The template R to section is being considered for merging.›