Inventory rows BZ
The cards of the rows of the inventory whose ids start with BZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Grunsky's theorem BZ4S4DFSPH
| URI | m2://inv/BZ4S4DFSPH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5612131, Grunsky's theorem (statement). Also Wikidata Q5612131
- thousand_plus: thousand_plus Q5612131, Grunsky's theorem (statement). Also Wikidata Q5612131, Wikipedia Grunsky's theorem
History
- 2026-10-26: add by m2/dev
equicontinuity BZ8YT7JRJZ
| URI | m2://inv/BZ8YT7JRJZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Equicontinuity 0XN66MZN0Y |
Mentions
- wikidata: Wikidata Q249092, equicontinuity (unknown). Also EoM Equicontinuity, MathWorld Equicontinuous
History
- 2026-10-26: add by m2/dev
rotational symmetry BZB61W9F56
| URI | m2://inv/BZB61W9F56 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q593950, rotational symmetry (unknown). Also MathWorld RotationalSymmetry
History
- 2026-10-26: add by m2/dev
ternary relation BZBKZPWEZ7
| URI | m2://inv/BZBKZPWEZ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3756532, ternary relation (unknown). Also nLab ternary relation
History
- 2026-10-26: add by m2/dev
Richard Lashof BZSCTG562K
| URI | m2://inv/BZSCTG562K |
|---|---|
| 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 Q7327261, Richard Lashof (unknown). Also nLab Richard Lashof
History
- 2026-10-26: add by m2/dev
Schur–Zassenhaus theorem BZTK5QT6PT
| URI | m2://inv/BZTK5QT6PT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226800, Schur–Zassenhaus theorem (statement). Also Mathlib Subgroup.exists_left_complement'_of_coprime, Wikidata Q2226800
- thousand_plus: thousand_plus Q2226800, Schur–Zassenhaus theorem (statement). Also Mathlib Subgroup.exists_left_complement'_of_coprime, Wikidata Q2226800, Wikipedia Schur–Zassenhaus theorem
History
- 2026-10-26: add by m2/dev