Inventory rows ZK
The cards of the rows of the inventory whose ids start with ZK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
elementary row operations ZK63DTX3QY
| URI | m2://inv/ZK63DTX3QY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > elementary row operations, elementary row operations (unknown)
History
- 2026-10-26: add by m2/dev
general topology ZK9H6VV6NW
| URI | m2://inv/ZK9H6VV6NW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q621550, general topology (topic). Also EoM General_topology, MathWorld Point-SetTopology, nLab general topology
History
- 2026-10-26: add by m2/dev
Scond isodynamic center ZKB74B236B
| URI | m2://inv/ZKB74B236B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q24818804, Scond isodynamic center (unknown). Also MathWorld SecondIsodynamicPoint
History
- 2026-10-26: add by m2/dev
groupoid object ZKG65R75AY
| URI | m2://inv/ZKG65R75AY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17077830, groupoid object (unknown). Also nLab groupoid object
History
- 2026-10-26: add by m2/dev
group algebra ZKNWE9BJ5G
| URI | m2://inv/ZKNWE9BJ5G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17019511, group algebra (unknown). Also MathWorld GroupAlgebra, nLab group algebra
History
- 2026-10-26: add by m2/dev
argument principle ZKS6KZWG6T
| URI | m2://inv/ZKS6KZWG6T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Argument principle 0PN2BXRS8G |
Mentions
- wikidata: Wikidata Q1370201, argument principle (statement). Also MathWorld ArgumentPrinciple, ProofWiki Argument_Principle
History
- 2026-10-26: add by m2/dev
Daniel Quillen ZKSB0NSD7D
| URI | m2://inv/ZKSB0NSD7D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q369658, Daniel Quillen (unknown). Also nLab Daniel Quillen
History
- 2026-10-26: add by m2/dev
monotone convergence theorem ZKSC913E8R
| URI | m2://inv/ZKSC913E8R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > monotone convergence theorem, monotone convergence theorem (unknown). Also Mathlib MeasureTheory.lintegral_iInf_ae
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > monotone convergence theorem, monotone convergence theorem (unknown). Also Mathlib MeasureTheory.lintegral_iInf_ae
History
- 2026-10-26: add by m2/dev
order dimension ZKSW5QZJ53
| URI | m2://inv/ZKSW5QZJ53 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7100431, order dimension (unknown). Also MathWorld PosetDimension
History
- 2026-10-26: add by m2/dev
11 ZKW8T8BJBJ
| URI | m2://inv/ZKW8T8BJBJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q37136, 11 (statement). Also MathWorld 11, ProofWiki 11
History
- 2026-10-26: add by m2/dev
factorization algebra ZKZZWJVDVA
| URI | m2://inv/ZKZZWJVDVA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117019164, factorization algebra (unknown). Also nLab factorization algebra
History
- 2026-10-26: add by m2/dev