Inventory rows YE
The cards of the rows of the inventory whose ids start with YE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
induced character YE2B78S9A0
| URI | m2://inv/YE2B78S9A0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17048352, induced character (unknown). Also nLab induced character
History
- 2026-10-26: add by m2/dev
Trichotomy theorem YE4FXREJE1
| URI | m2://inv/YE4FXREJE1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7841060, Trichotomy theorem (statement). Also Wikidata Q7841060
- thousand_plus: thousand_plus Q7841060, Trichotomy theorem (statement). Also Wikidata Q7841060, Wikipedia Trichotomy theorem
History
- 2026-10-26: add by m2/dev
first class constraint YE50R0D5ZW
| URI | m2://inv/YE50R0D5ZW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5454146, first class constraint (unknown). Also nLab first class constraint
History
- 2026-10-26: add by m2/dev
Joseph Amadee Goguen YE5DJS532F
| URI | m2://inv/YE5DJS532F |
|---|---|
| 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 Q6283491, Joseph Amadee Goguen (unknown). Also nLab Joseph Goguen
History
- 2026-10-26: add by m2/dev
Bolzano–Weierstrass theorem YE728JVGT7
| URI | m2://inv/YE728JVGT7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 4 |
| Outcome | open |
| Node | Bolzano–Weierstrass theorem 0KDJD249DT |
Mentions
- mathlib_1000: mathlib_1000 Q468391, Bolzano–Weierstrass theorem (statement). Also Mathlib tendsto_subseq_of_frequently_bounded, Mathlib tendsto_subseq_of_bounded, Wikidata Q468391
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Topology of R > Bolzano-Weierstrass theorem, Bolzano-Weierstrass theorem (unknown). Also Mathlib tendsto_subseq_of_bounded
- thousand_plus: thousand_plus Q468391, Bolzano–Weierstrass theorem (statement). Also Mathlib tendsto_subseq_of_frequently_bounded, Mathlib tendsto_subseq_of_bounded, Wikidata Q468391, Wikipedia Bolzano–Weierstrass theorem
- wikidata: Wikidata Q468391, Bolzano–Weierstrass theorem (statement). Also EoM Bolzano-weierstrass_theorem, MathWorld Bolzano-WeierstrassTheorem
History
- 2026-10-26: add by m2/dev
pedal triangle YE8791QQNT
| URI | m2://inv/YE8791QQNT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q478728, pedal triangle (unknown). Also MathWorld PedalTriangle
History
- 2026-10-26: add by m2/dev
Peter Selinger YE96DBWF3A
| URI | m2://inv/YE96DBWF3A |
|---|---|
| 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 Q93947060, Peter Selinger (unknown). Also nLab Peter Selinger
History
- 2026-10-26: add by m2/dev
Yahtzee YEEMJF24SP
| URI | m2://inv/YEEMJF24SP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q696920, Yahtzee (unknown). Also MathWorld Yahtzee
History
- 2026-10-26: add by m2/dev
free probability YEEPWYWHMS
| URI | m2://inv/YEEPWYWHMS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q515893, free probability (topic). Also nLab free probability
History
- 2026-10-26: add by m2/dev
Myhill–Nerode theorem YEHGD0KVTH
| URI | m2://inv/YEHGD0KVTH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q422187, Myhill–Nerode theorem (statement). Also Mathlib Language.isRegular_iff_finite_range_leftQuotient, Wikidata Q422187
- thousand_plus: thousand_plus Q422187, Myhill–Nerode theorem (statement). Also Mathlib Language.isRegular_iff_finite_range_leftQuotient, Wikidata Q422187, Wikipedia Myhill–Nerode theorem
History
- 2026-10-26: add by m2/dev
Rafael Sorkin YERPMCHCCJ
| URI | m2://inv/YERPMCHCCJ |
|---|---|
| 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 Q7282329, Rafael Sorkin (unknown). Also nLab Rafael Sorkin
History
- 2026-10-26: add by m2/dev
codiscrete space YESV8Z16TV
| URI | m2://inv/YESV8Z16TV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91267747, codiscrete space (unknown). Also nLab codiscrete space
History
- 2026-10-26: add by m2/dev