OAI/GroupTheory/SimpleAmenable/Arithmetic/
129 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- CompiledTranslations.lean 3 declarations
- ConcurrentDenominators.lean 17 declarations
- DyadicArithmetic.lean 14 declarations
- LatticeCounting.lean 15 declarations
- LatticeRange.lean 6 declarations
- LatticeRiemann.lean 15 declarations
- PolygonArithmetic.lean 28 declarations
- PropagationArithmetic.lean 10 declarations
- QuadraticRectangleCounts.lean 5 declarations
- QuadraticTiles.lean 15 declarations
- UniformLatticeRiemann.lean 1 declarations