Correction: SGLT2 inhibitor reduces atrial tachyarrhythmia recurrence post-cryoballoon ablation: a prospective observational cohort study in patients with and without diabetes