Ueno–Stork Cyclization

Ueno–Stork Cyclization equation