@misc{indiciae52724710de15,
  title = {Un experimento de demostración formal de un teorema de nivel intermedio en álgebra (Formalizing the proof of an intermediate-level algebra theorem -- An experiment)},
  author = {Antoine Chambert-Loir},
  year = {2023},
  url = {https://arxiv.org/abs/2303.12404},
  note = {Source identifier: 2303.12404}
}