Lean repository linked
A remarkable family of left ordered groups: central extensions of Hecke groups
arXiv:0909.4994 · 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.