doc: document instance body processing in inferInstanceAs and deriving#809

Merged

david-christiansen merged 8 commits intoleanprover:mainfrom

kim-em:doc/instance-normal-form

Mar 26, 2026

Commits on Mar 22, 2026

doc: document instance normal form normalization

kim-em
and
claude
committed

Commits on Mar 24, 2026

doc: fix instance normal form section to match merged lean4#12897

kim-em
and
claude
committed
doc: rename section to "Wrapping Synthesized Instances"

kim-em
and
claude
committed
doc: rename tag to instance-wrapping

kim-em
and
claude
committed