Index of /docs/Lean/ginibre_poincare_lean_sources_2026-09-04/GinibrePoincare/Endgame

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]GeneratorCompletion.lean2026-09-03 13:43 2.7K 
[ ]HilbertGeometry.lean2026-09-03 13:43 2.9K 
[ ]SeriesDeficit.lean2026-09-03 13:43 7.7K 
[ ]TheoremOneNine.lean2026-09-03 17:38 1.7K 
[ ]FiniteTheoremOneNine.lean2026-09-03 23:19 6.8K 
[ ]ConcreteTheoremOneNine.lean2026-09-03 23:24 15K 
Apache/2.4.68 (Debian) Server at djalil.chafai.net Port 443