Registry · Remark III.R15 established not_applicable

III.R15 — Perelman's Proof (review)

Review of Perelman's proof of Poincaré (2002-2003): Hamilton's Ricci flow with surgery. Three innovations: entropy functional, κ-noncollapsing, canonical neighbourhood analysis. The unique millennium problem with unconditional orthodox proof. τ inherits the result.

Book III Part 4 Ch. 31

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module:

Symbol: