Schreiber
∞-Lie groupoid