Efficient-Synthesis

• propose an efficient synthesis for the following transformation Jul 31, 2026