Analytic Baire spaces
We generalize to the non-separable context a theorem of Levi characterizing Baire analytic spaces. This allows us to prove a joint-continuity result for non-separable normed groups, previously known only in the separable context.