2-Local derivations of infinite-dimensional Lie algebras | Synapse