Measurable regularity of infinite-dimensional Lie groups based on Lusin measurability
N. Nikitin, (2019).