@misc{indiciaeac10e4f1e553,
  title = {Classifying the groups of order \$p q\$ in Lean},
  author = {Scott Harper and Peiran Wu},
  year = {2025},
  url = {https://arxiv.org/abs/2501.09769},
  note = {Source identifier: 2501.09769}
}