Skip to content

[PROPOSAL] Voluntary 'mechanism' notes alongside scoped negative results (docs only; no rule changes) - #1903

Draft
DreamingOfClouds wants to merge 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:proposal/structural-lemmas
Draft

[PROPOSAL] Voluntary 'mechanism' notes alongside scoped negative results (docs only; no rule changes)#1903
DreamingOfClouds wants to merge 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:proposal/structural-lemmas

Commits

  1. Commits on Oct 14, 2026