Inventory rows 72
The cards of the rows of the inventory whose ids start with 72. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Michel Raynaud 721EZ57VVW
| URI | m2://inv/721EZ57VVW |
|---|---|
| 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 Q1544886, Michel Raynaud (unknown). Also nLab Michel Raynaud
History
- 2026-10-26: add by m2/dev
Eugenio Moggi 72A2P6YE6G
| URI | m2://inv/72A2P6YE6G |
|---|---|
| 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 Q5408303, Eugenio Moggi (unknown). Also nLab Eugenio Moggi
History
- 2026-10-26: add by m2/dev
checkmate 72CMDNZBH8
| URI | m2://inv/72CMDNZBH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20819848, checkmate (definition). Also ProofWiki Definition:Chess/Rules/Checkmate
History
- 2026-10-26: add by m2/dev
compactness in terms of open covers (Borel-Lebesgue) 72FQCK2WTV
| URI | m2://inv/72FQCK2WTV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > compactness in terms of open covers (Borel-Lebesgue), compactness in terms of open covers (Borel-Lebesgue) (unknown). Also Mathlib isCompact_iff_finite_subcover
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > compactness in terms of open covers (Borel-Lebesgue), compactness in terms of open covers (Borel-Lebesgue) (unknown). Also Mathlib isCompact_iff_finite_subcover
History
- 2026-10-26: add by m2/dev
centered tetrahedral number 72GA1D2XZP
| URI | m2://inv/72GA1D2XZP |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14390192, centered tetrahedral number (object). Also OEIS A005894
History
- 2026-10-26: add by m2/dev
topological conjugacy 72HHRZFP7A
| URI | m2://inv/72HHRZFP7A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2443460, topological conjugacy (unknown). Also MathWorld TopologicallyConjugate
History
- 2026-10-26: add by m2/dev
ordinal multiplication 72HKGZ3A34
| URI | m2://inv/72HKGZ3A34 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q118133376, ordinal multiplication (unknown). Also MathWorld OrdinalMultiplication
History
- 2026-10-26: add by m2/dev
bounded set 72Q4P7TY2J
| URI | m2://inv/72Q4P7TY2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Bounded set 09QSZVVM26 |
Mentions
- wikidata: Wikidata Q726212, bounded set (unknown). Also MathWorld BoundedSet, nLab bounded set
History
- 2026-10-26: add by m2/dev
Casimir invariant 72WVBVT383
| URI | m2://inv/72WVBVT383 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1047475, Casimir invariant (concept). Also MathWorld CasimirOperator
History
- 2026-10-26: add by m2/dev