Trough

23 Divided Power Algebra to 25 Hypercoverings

Initializing search

Home
Mathematics

Trough

Home
Mathematics
Mathematics
- Trough
  Trough
  - Mathlib
  - Tau Ceti
  - Fermat's Last Theorem (Imperial)
  - PNT+
  - Polynomial Freiman-Ruzsa
  - Equational Theories
  - Strong PNT (Math Inc)
  - Formal Conjectures
  - Fermat's Last Theorem (Anthropic)
  - Classification of Finite Simple Groups (Axiom)
  - Lean Pool
  - The Stacks Project in Lean (Axiom)
    
    The Stacks Project in Lean (Axiom)
    
    EGA
    
    SGA
    
    Preliminaries
    
    Preliminaries
    
    3 Set Theory to 22 Differential Graded Algebra
    
    23 Divided Power Algebra to 25 Hypercoverings
    
    23 Divided Power Algebra to 25 Hypercoverings
    
    23 Divided Power Algebra
    
    24 Differential Graded Sheaves
    
    25 Hypercoverings
    
    Schemes
    
    Topics in Scheme Theory
    
    Algebraic Spaces
    
    Topics in Geometry
    
    Deformation Theory
    
    Algebraic Stacks
    
    Topics in Moduli Theory
    
    Miscellany
  - Formal Frontier
  - Coverage
  - Sources

Home
Trough
The Stacks Project in Lean (Axiom)
Preliminaries

Loading the map…

← 23 Divided Power Algebra to 25 Hypercoverings

23 Divided Power Algebra to 25 Hypercoverings

23 Divided Power Algebra
24 Differential Graded Sheaves
25 Hypercoverings

Loading dependency explorer…

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.

Developed with AutoformBot. Formalization source. Articles written for Trough are available under CC BY-SA 4.0; Mathlib's docstrings and signatures under Apache-2.0.