feat: Wirtinger calculus and N=1 SUSY scalar Wirtinger derivatives#1107

Open

pariandrea wants to merge 7 commits into

leanprover-community:masterfrom

pariandrea:susy

Commits on Jun 9, 2026

feat(Mathematics/Calculus): coordinate Wirtinger calculus

pariandrea
and
claude
committed
feat(SUSY/N1): N=1 chiral scalar sector — Kähler potential, metric, superpotential

pariandrea
and
claude
committed
docs(Wirtinger/Multivariable): applied-form notation and tightened overview

pariandrea
and
claude
committed
docs(Wirtinger/Multivariable): clarify (d, i·d) is an arbitrary rotated frame

pariandrea
and
claude
committed
docs(Wirtinger/Multivariable): subscript notation ∂_v / d_v, direction renamed v

pariandrea
and
claude
committed
docs(Wirtinger/Multivariable): restructure overview, split Conjugation/chain-rule sections

pariandrea
and
claude
committed
docs(Wirtinger): align Basic/Multivariable notation, tighten Basic docstrings

pariandrea
and
claude
committed