Inventory rows 9R
The cards of the rows of the inventory whose ids start with 9R. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
regular scheme 9R4QYW13DZ
| URI | m2://inv/9R4QYW13DZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18393924, regular scheme (unknown). Also EoM Regular_scheme, nLab regular scheme
History
- 2026-10-26: add by m2/dev
almost everywhere 9RA4V444DX
| URI | m2://inv/9RA4V444DX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1139334, almost everywhere (unknown). Also MathWorld AlmostEverywhere
History
- 2026-10-26: add by m2/dev
diagonal functor 9REK4FBW1W
| URI | m2://inv/9REK4FBW1W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1208187, diagonal functor (unknown). Also nLab diagonal functor
History
- 2026-10-26: add by m2/dev
parallel line 9RF4H3XNQF
| URI | m2://inv/9RF4H3XNQF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3039890, parallel line (unknown). Also MathWorld ParallelLines
History
- 2026-10-26: add by m2/dev
max leaf number 9RFB2SEKD7
| URI | m2://inv/9RFB2SEKD7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q127651141, max leaf number (unknown). Also MathWorld MaximumLeafNumber
History
- 2026-10-26: add by m2/dev
Moufang plane 9RJ5E9K8ZS
| URI | m2://inv/9RJ5E9K8ZS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1950188, Moufang plane (concept). Also MathWorld MoufangPlane
History
- 2026-10-26: add by m2/dev
Frobenius morphism 9RN1G7HY4S
| URI | m2://inv/9RN1G7HY4S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > Frobenius morphism, Frobenius morphism (unknown). Also Mathlib frobenius
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > Frobenius morphisms, Frobenius morphisms (unknown). Also Mathlib frobenius
History
- 2026-10-26: add by m2/dev
Universal Product Code 9RS9C2JHNZ
| URI | m2://inv/9RS9C2JHNZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1193047, Universal Product Code (unknown). Also MathWorld UPC
History
- 2026-10-26: add by m2/dev