Lean repository linked
Finitely generated positive cones in Fₙ × ℤ
arXiv:2608.31103 · arXiv
Lean formalisations (1)
homeowmorphism/finitely-generated-positive-cones-in-fnz at 20bfd7cb2abb
Linked by the repository’s formalization.yaml.
Project review: agent-reviewed
Audit: awaiting publication.