Schreiber
strict ∞-Lie groupoid