Lean repository linked
Local conjugacy in prosolvable groups
arXiv:2609.37678 · arXiv
Lean formalisations (1)
burkh4rt/Local-Conjugacy-Formalized at a6ccde0b11cb
Linked by the repository’s formalization.yaml.
Project review: author-verified
Audit: awaiting publication.