Repository navigation

Lean: same-law weight perturbation and stable normalization - #292

Merged

2 commits merged into

mainfrom

chatgpt/lean-weight-perturbation-20261005

Oct 5, 2026

Merged

Lean: same-law weight perturbation and stable normalization#292
2 commits merged into
mainfrom
chatgpt/lean-weight-perturbation-20261005

Commits on Oct 5, 2026
- formal: add same-law weight perturbation and stable normalization
  d6g8k5htny-coder
  committed
  559e122
- formal: repair pinned triangle-inequality lemma reference
  d6g8k5htny-coder
  committed
  8739dbe