Skip to content

Chapter 14: partial formalization of Cauchy's arm lemma and rigidity statements - #161

Open
AItoBit wants to merge 2 commits into
mo271:mainfrom
AItoBit:codex/chapter-14
Open

Chapter 14: partial formalization of Cauchy's arm lemma and rigidity statements#161
AItoBit wants to merge 2 commits into
mo271:mainfrom
AItoBit:codex/chapter-14

fix: document Chapter 14 definitions for lint

cac8aae
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Build project
succeeded Oct 5, 2026 in 6m 10s