Theoretical Insights into the Catalytic Mechanism of N-Heterocyclic Olefins in Carboxylative Cyclization of Propargyl Alcohol with CO2.