| Original language | English |
|---|---|
| Number of pages | 8 |
| Journal | ArXiv e-prints |
| Publication status | In preparation - 2025 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Classifying the groups of order pq in Lean
Scott Harper, Peiran Wu
Research output: Contribution to journal › Article