Skip to content

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

Open
alreadydone wants to merge 10 commits into
leanprover:mainfrom
alreadydone:Mostow_rigidity+
Open

feat(Geometry): Mostow rigidity, algebraic form#472
alreadydone wants to merge 10 commits into
leanprover:mainfrom
alreadydone:Mostow_rigidity+

add source

3d703ff
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
verify
succeeded Aug 7, 2026 in 4h 2m 37s