Milnor conjecture (Voevodsky) — The Schema Path
Node
Milnor conjecture (Voevodsky) (Theorem) in The Schema Path. Era: 2003. Formula: Kₙᴹ(F)/2 ≅ Hⁿ(F, μ₂^{⊗n}). Origin axiom of path: Schema. Modern reach: P-adic numbers · P-adic number theory · Étale cohomology · Weil conjectures · Perfectoid spaces · Scholze diamond · Lean formalization.