The derived formal-neighborhood conjecture for Lie pairs
Let (L,A)(L,A)(L,A) be a Lie pair over R\mathbb{R}R, and let (L,A)(\mathscr{L},\mathscr{A})(L,A) be a pair of simply source-connected local Lie groupoids integrating it, with A\mathscr{A}A a close…