A proof of the conjectured run time of the Hafner-McCurley class group algorithm. - Jean-François Biasse; Muhammed Rashad Erukulangara (Adv. Math. Commun., 2023)