Inventory rows Y8
The cards of the rows of the inventory whose ids start with Y8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
monadic functor Y860CM0R35
| URI | m2://inv/Y860CM0R35 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140914670, monadic functor (unknown). Also nLab monadic functor
History
- 2026-10-26: add by m2/dev
Lebesgue covering dimension Y86P8TS991
| URI | m2://inv/Y86P8TS991 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q164262, Lebesgue covering dimension (statement). Also Wikidata Q164262
- thousand_plus: thousand_plus Q164262, Lebesgue covering dimension (statement). Also Wikidata Q164262, Wikipedia Lebesgue covering dimension
- wikidata: Wikidata Q164262, Lebesgue covering dimension (unknown). Also MathWorld LebesgueCoveringDimension
History
- 2026-10-26: add by m2/dev
rhombohedron Y87FPHVEZW
| URI | m2://inv/Y87FPHVEZW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q854916, rhombohedron (unknown). Also MathWorld Rhombohedron
History
- 2026-10-26: add by m2/dev
Intersecting secants theorem Y897EED5PC
| URI | m2://inv/Y897EED5PC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1727461, Intersecting secants theorem (statement). Also Mathlib EuclideanGeometry.mul_dist_eq_mul_dist_of_cospherical_of_angle_eq_zero, Wikidata Q1727461
- thousand_plus: thousand_plus Q1727461, Intersecting secants theorem (statement). Also Wikidata Q1727461, Wikipedia Intersecting secants theorem
History
- 2026-10-26: add by m2/dev
frequency Y89GWE4604
| URI | m2://inv/Y89GWE4604 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q762856, frequency (unknown). Also MathWorld AbsoluteFrequency
History
- 2026-10-26: add by m2/dev
octagon Y8BPRXNS0X
| URI | m2://inv/Y8BPRXNS0X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q166080, octagon (unknown). Also MathWorld Octagon
History
- 2026-10-26: add by m2/dev
Tietze extension theorem Y8ES0K9J0F
| URI | m2://inv/Y8ES0K9J0F |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 3 |
| Outcome | open |
| Node | Tietze extension theorem 0X52TNMTCJ |
Mentions
- mathlib_1000: mathlib_1000 Q1346677, Tietze extension theorem (statement). Also Mathlib BoundedContinuousFunction.exists_extension_norm_eq_of_isClosedEmbedding, Wikidata Q1346677
- thousand_plus: thousand_plus Q1346677, Tietze extension theorem (statement). Also Mathlib BoundedContinuousFunction.exists_extension_norm_eq_of_isClosedEmbedding, Wikidata Q1346677, Wikipedia Tietze extension theorem
- wikidata: Wikidata Q1346677, Tietze extension theorem (statement). Also MathWorld TietzesExtensionTheorem, nLab Tietze extension theorem, ProofWiki Tietze_Extension_Theorem
History
- 2026-10-26: add by m2/dev
sedenion Y8FWCHKND2
| URI | m2://inv/Y8FWCHKND2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q79188, sedenion (unknown). Also nLab sedenion
History
- 2026-10-26: add by m2/dev
additive group Y8J6TTJ9YP
| URI | m2://inv/Y8J6TTJ9YP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4681347, additive group (unknown). Also EoM Additive_group, MathWorld AdditiveGroup
History
- 2026-10-26: add by m2/dev
Kampyle of Eudoxus Y8N796K2QS
| URI | m2://inv/Y8N796K2QS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1151489, Kampyle of Eudoxus (unknown). Also MathWorld KampyleofEudoxus
History
- 2026-10-26: add by m2/dev
Ramanujan–Nagell equation Y8PR4M6WFM
| URI | m2://inv/Y8PR4M6WFM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1914905, Ramanujan–Skolem's theorem (statement). Also Wikidata Q1914905
- thousand_plus: thousand_plus Q1914905, Ramanujan–Skolem's theorem (statement). Also Wikidata Q1914905, Wikipedia Ramanujan–Skolem's theorem
- wikidata: Wikidata Q1914905, Ramanujan–Nagell equation (statement). Also MathWorld RamanujansSquareEquation, ProofWiki Definition:Ramanujan-Nagell_Equation
History
- 2026-10-26: add by m2/dev
exponent combination laws Y8RXR2S1PS
| URI | m2://inv/Y8RXR2S1PS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135208146, exponent combination laws (statement). Also ProofWiki Exponent_Combination_Laws
History
- 2026-10-26: add by m2/dev
integration by parts Y8V88X1R5B
| URI | m2://inv/Y8V88X1R5B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Integration > integration by parts, integration by parts (unknown). Also Mathlib intervalIntegral.integral_mul_deriv_eq_deriv_mul
History
- 2026-10-26: add by m2/dev
Jacobi method Y8VHK7D4NW
| URI | m2://inv/Y8VHK7D4NW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1481893, Jacobi method (unknown). Also MathWorld JacobiMethod
History
- 2026-10-26: add by m2/dev
Hobby–Rice theorem Y8Z90VG7XN
| URI | m2://inv/Y8Z90VG7XN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5874979, Hobby–Rice theorem (statement). Also Wikidata Q5874979
- thousand_plus: thousand_plus Q5874979, Hobby–Rice theorem (statement). Also Wikidata Q5874979, Wikipedia Hobby–Rice theorem
History
- 2026-10-26: add by m2/dev