Trough

Regular Local Ring to Other results

Initializing search

Home
Mathematics

Trough

Home
Mathematics
Mathematics
- Trough
  Trough
  - Mathlib
  - Tau Ceti
    
    Tau Ceti
    
    Algebra
    
    Algebraic Geometry
    
    Algebraic Topology
    
    Analysis
    
    Category Theory
    
    Combinatorics
    
    Field Theory
    
    Geometry
    
    Group Theory
    
    Knot Theory
    
    Linear Algebra
    
    Measure Theory
    
    Model Theory
    
    Number Theory
    
    Probability
    
    Quantum Groups
    
    Representation Theory
    
    Ring Theory
    
    Ring Theory
    
    Analytic adic geometry for… to Power Series
    
    Regular Local Ring to Other results
    
    Regular Local Ring to Other results
    
    Regular Local Ring
    
    Semisimple
    
    Other results
    
    Topology
    
    Other Areas
  - 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
  - Formal Frontier
  - Coverage
  - Sources

Home
Trough
Tau Ceti
Ring Theory

Loading the map…

← Regular Local Ring to Other results

Regular Local Ring to Other results

Regular Local Ring
Semisimple
Other results

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.