LocalComplexGeometry0.1.0
Foundational theorems in local complex-analytic geometry formalized in Lean 4
1-1 of 1 versions of LocalComplexGeometry
Sort by
Date
- 0.1
0.1.0palomar-submission-2026-08-30v4.32.0
LocalComplexGeometry0.1.00.1.0