MinimalAxioms
📁 Source: Mathlib/Algebra/Ring/MinimalAxioms.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsofMinimalAxioms, MinimalAxioms, MinimalAxioms, MinimalAxioms, MinimalAxioms, ofMinimalAxioms | 6 |
| Theorems | 0 |
| Total | 6 |
CommRing
Definitions
| Name | Category | Theorems |
|---|---|---|
ofMinimalAxioms 📖 | CompOp | — |
CompleteDistribLattice
Definitions
| Name | Category | Theorems |
|---|---|---|
MinimalAxioms 📖 | CompData | — |
CompletelyDistribLattice
Definitions
| Name | Category | Theorems |
|---|---|---|
MinimalAxioms 📖 | CompData | — |
Order.Coframe
Definitions
| Name | Category | Theorems |
|---|---|---|
MinimalAxioms 📖 | CompData | — |
Order.Frame
Definitions
| Name | Category | Theorems |
|---|---|---|
MinimalAxioms 📖 | CompData | — |
Ring
Definitions
| Name | Category | Theorems |
|---|---|---|
ofMinimalAxioms 📖 | CompOp | — |
---