Prefer a chat interface with context about you and your work?
A note on Omori-Lie groups
The theory of differentiation in locally convex spaces constructed by the author in Memoirs Amer. Math. Soc. 17 (1979) is used to give a new form of the definition of Omori-Lie groups.