2 problems

Lie's second theorem. For any morphism of Lie algebroids $\phi:A\to B$, there is a unique morphism $\Phi$ from the Weinstein groupoid $\mathcal{H}(A)$ to any Weinstein groupoid…

Uniqueness conjecture. $\mathcal{H}(A)$ is the unique source-simply connected Weinstein groupoid whose Lie algebroid is $A$.