resolutionorghironaka

Hironaka's resolution of singularities in characteristic zero, formalized in Lean 4 over Mathlib.
#math #algebraic-geometry #resolution-of-singularities #analytic-geometry
Sort by
  1. Registry dependency.
    Found on Reservoir.

    mathlibv4.35.0

    The math library of Lean 4