Import several complex variables, analytic germs, and extension theory - #490

Open

Vilin97 wants to merge 23 commits into

mainfrom

codex/import42-lean-scv

Commits on Sep 21, 2026

Import Classical several complex variables
Vilin97
committed
cf826f6
Port full several complex variables library and clear scoped checks
Vilin97
committed
33d3176

Commits on Sep 22, 2026

Merge remote-tracking branch 'origin/main' into pr-490
github-actions[bot]
committed
cf7b403

Commits on Sep 23, 2026

Merge remote-tracking branch 'origin/main' into pr-490
github-actions[bot]
committed
6ca2ccf
Merge remote-tracking branch 'origin/main' into pr-490
github-actions[bot]
committed
425f292

Commits on Sep 24, 2026

Merge remote-tracking branch 'origin/main' into pr-490
github-actions[bot]
committed
0743324

Commits on Sep 25, 2026

Commits on Sep 26, 2026