A Formalization of the General Theory of Quaternions. - Thaynara Arielly de Lima; André Luiz Galdino; Bruno Berto de Oliveira Ribeiro; Mauricio Ayala-Rincón (ITP, 2024)