A machine-checked solution to the Jacobians challenge

4. local multiplicity🔗

Local theory at a point: analytic local factorization z^k·unit, derivative orders, local multiplicity of a holomorphic map.

5 modules, 808 lines, under Jacobians/LocalMultiplicity/.

  1. 4.1. Keystones
  2. 4.2. LocalMultiplicity
  3. 4.3. LocalMultiplicity.AnalyticDerivOrder
  4. 4.4. LocalMultiplicity.AnalyticLocalFactorization
  5. 4.5. LocalMultiplicity.LocalMultiplicity
  6. 4.6. LocalMultiplicity.MeromorphicAt