Noetherian
📁 Source: Mathlib/CategoryTheory/Noetherian.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsNoetherian | 1 |
| 4 | |
| Total | 5 |
CategoryTheory
Definitions
| Name | Category | Theorems |
|---|---|---|
Noetherian 📖 | CompData | — |
CategoryTheory.Artinian
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
isArtinianObject 📖 | mathematical | — | CategoryTheory.IsArtinianObject | — | — |
toEssentiallySmall 📖 | mathematical | — | CategoryTheory.EssentiallySmall | — | — |
CategoryTheory.Noetherian
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
isNoetherianObject 📖 | mathematical | — | CategoryTheory.IsNoetherianObject | — | — |
toEssentiallySmall 📖 | mathematical | — | CategoryTheory.EssentiallySmall | — | — |
---