Inventory rows AA
The cards of the rows of the inventory whose ids start with AA. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Borel subgroup AA18QJ9VSQ
| URI | m2://inv/AA18QJ9VSQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4944913, Borel subgroup (unknown). Also EoM Borel_subgroup, nLab Borel subgroup
History
- 2026-10-26: add by m2/dev
knight's graph AA2NA0ZWNF
| URI | m2://inv/AA2NA0ZWNF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6422173, knight's graph (unknown). Also MathWorld KnightGraph
History
- 2026-10-26: add by m2/dev
simple group AA3EVQBVEK
| URI | m2://inv/AA3EVQBVEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Simple group 0YMYMNQ0QZ |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > simple group, simple group (unknown). Also Mathlib IsSimpleGroup
- wikidata: Wikidata Q571124, simple group (definition). Also EoM Simple_group, Mathlib IsSimpleGroup, MathWorld SimpleGroup, nLab simple group, ProofWiki Definition:Simple_Group
History
- 2026-10-26: add by m2/dev
quantum Hall effect AA55W3XW6M
| URI | m2://inv/AA55W3XW6M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1047822, quantum Hall effect (unknown). Also nLab quantum Hall effect
History
- 2026-10-26: add by m2/dev
Carathéodory's theorem (conformal mapping) AA5BB9KM83
| URI | m2://inv/AA5BB9KM83 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4378889, Carathéodory's theorem (conformal mapping) (statement). Also Wikidata Q4378889
- thousand_plus: thousand_plus Q4378889, Carathéodory's theorem (statement). Also Wikidata Q4378889, Wikipedia Carathéodory's theorem (conformal mapping)
History
- 2026-10-26: add by m2/dev
semi-local ring AA65NQ5B8A
| URI | m2://inv/AA65NQ5B8A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7449309, semi-local ring (unknown). Also MathWorld SemilocalRing
History
- 2026-10-26: add by m2/dev
square orthobicupola AA66NJVE70
| URI | m2://inv/AA66NJVE70 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2157122, square orthobicupola (object). Also MathWorld SquareOrthobicupola
History
- 2026-10-26: add by m2/dev
Sylvester's sequence AA9M0AD2JH
| URI | m2://inv/AA9M0AD2JH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2293800, Sylvester's sequence (object). Also MathWorld SylvestersSequence, OEIS A000058
History
- 2026-10-26: add by m2/dev
homotopy class AAC3M13FWF
| URI | m2://inv/AAC3M13FWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91773244, homotopy class (definition). Also MathWorld HomotopyClass, nLab homotopy class, ProofWiki Definition:Homotopy_Class
History
- 2026-10-26: add by m2/dev
Milky Way AADW8WCX9S
| URI | m2://inv/AADW8WCX9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q321, Milky Way (definition). Also nLab Milky Way, ProofWiki Definition:Milky_Way
History
- 2026-10-26: add by m2/dev
dimension of a scheme AAF2BB2TPP
| URI | m2://inv/AAF2BB2TPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q65090975, dimension of a scheme (definition). Also ProofWiki Definition:Krull_Dimension_of_Scheme
History
- 2026-10-26: add by m2/dev
Tychonoff's theorem AAHZ150GBK
| URI | m2://inv/AAHZ150GBK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 3 |
| Outcome | open |
| Node | Tychonoff's theorem 0JTRSJKCFB |
Mentions
- mathlib_1000: mathlib_1000 Q1137014, Tychonoff's theorem (statement). Also Mathlib isCompact_pi_infinite, Wikidata Q1137014
- thousand_plus: thousand_plus Q1137014, Tychonoff's theorem (statement). Also Mathlib isCompact_pi_infinite, Wikidata Q1137014, Wikipedia Tychonoff's theorem
- wikidata: Wikidata Q1137014, Tychonoff's theorem (statement). Also MathWorld TychonoffTheorem, ProofWiki Tychonoff's_Theorem
History
- 2026-10-26: add by m2/dev
separatrix AAPTTHTJN3
| URI | m2://inv/AAPTTHTJN3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2902561, separatrix (unknown). Also MathWorld Separatrix
History
- 2026-10-26: add by m2/dev
interior point method AAVPEK9PZZ
| URI | m2://inv/AAVPEK9PZZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q461992, interior point method (unknown). Also MathWorld InteriorPointMethod
History
- 2026-10-26: add by m2/dev
Carlos Simpson AAWNJC5WJR
| URI | m2://inv/AAWNJC5WJR |
|---|---|
| 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 Q15433442, Carlos Simpson (unknown). Also nLab Carlos Simpson
History
- 2026-10-26: add by m2/dev
Bertram Kostant AAXPS03W0W
| URI | m2://inv/AAXPS03W0W |
|---|---|
| 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 Q828478, Bertram Kostant (unknown). Also nLab Bertram Kostant
History
- 2026-10-26: add by m2/dev
Dirichlet theorem AAYMTQ871C
| URI | m2://inv/AAYMTQ871C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Fourier analysis > Dirichlet theorem, Dirichlet theorem (unknown)
History
- 2026-10-26: add by m2/dev