Work fluctuation theorems with initial quantum coherence | Synapse