Prefer a chat interface with context about you and your work?
On bijectivity of the canonical transformation $[\beta_G X;Y]_G \to [X;Y]_G$