feat(Geometry): Mostow rigidity, algebraic form - #140

Closed

alreadydone wants to merge 7 commits into

leanprover:mainfrom

alreadydone:Mostow_rigidity

Commits on May 6, 2026

feat(Geometry): Mostow rigidity, algebraic form
alreadydone
committed
7884c73
simplify
alreadydone
committed
67e16cb

Commits on May 10, 2026

forgot about discreteness
alreadydone
committed
0d9bdb9
try @[reducible] def
alreadydone
committed
b82fdb1
try replace notation
alreadydone
committed
3f0df02
try something else
alreadydone
committed
6de184c

Commits on Jul 15, 2026

Delete manifests/problems.toml
alreadydone
authored
b4b512f