On the computation of the order of Janko’s first simple group 𝔉 1 Herbert Dietzsch — 1971 Rendiconti del Seminario Matematico della Università di Padova