Schreiber
Lie theory in an (∞,1)-topos

Redirected from "∞-Lie theory".