Determine whether Leau claimed the stronger Riemann-surface continuation theorem

Determine whether Leau claimed the stronger analytic-continuation result stated as Theorem \(\ref{t:leroysurf}\), which asserts continuation of the power series along every path avoiding \(1\) and non-principal lifts of \(0\).

Background

The paper discusses Leau's and Le Roy's continuation theorems on the Riemann surface of the logarithm. It states that Le Roy strengthened Leau's result, but notes that the wording of Leau's original formulation is ambiguous.

The unresolved historical issue is whether Leau himself intended to assert the stronger theorem attributed to Le Roy. The paper indicates that Leau's proof establishes the weaker result stated in Theorem $\ref{t:leausurf}$, but does not resolve what his formulation claimed.