Classical several complex variables

Source: url:https://github.com/bjbraams/lean-scv Authors: Bastiaan J Braams Status: verified Main declarations: SeveralComplexVariables.analyticOnNhd_of_separately_analytic_locally_bounded Tags: complex-analysis, several-complex-variables, holomorphic-functions MSC: 32A10, 32D05, 32E10