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

alreadydone wants to merge 2 commits intoleanprover:mainleanprover/lean-eval:mainfrom

alreadydone:Mostow_rigidityalreadydone/lean-eval:Mostow_rigidityCopy head branch name to clipboard