Inventory rows WJ
The cards of the rows of the inventory whose ids start with WJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
WJ01FTBB8B WJ01FTBB8B
| URI | m2://inv/WJ01FTBB8B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-7-5-2.xml#act-7-5-2 (exercise). In 907G4C4EJ1, activity, section 7.5.2
History
- 2026-11-01: add by m2/v0.6.13
Partition expansion of the reduced tau function WJ0DSDZQ3C
| URI | m2://inv/WJ0DSDZQ3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00396#NOLU, Partition expansion of the reduced tau function (statement). In V13TE1RWT9/e1, proposition 10.11
History
- 2026-10-30: add by m2/v0.4.12
492 (number) WJ0FD4M66D
| URI | m2://inv/WJ0FD4M66D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#19G2, 492 (number) (unknown)
History
- 2026-11-02: add by m2/dev
WJ0FHRG5AH WJ0FHRG5AH
| URI | m2://inv/WJ0FHRG5AH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#AELQ (statement). In V7SN19J84T/e1, lemma 7.21
History
- 2026-10-28: add by m2/v0.4.2
WJ0FNSVX38 WJ0FNSVX38
| URI | m2://inv/WJ0FNSVX38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#UCGD (statement). In HX63A1PH1W/e1, corollary 5.45
History
- 2026-10-28: add by m2/v0.4.3
Dorota Dabrowska WJ0N9N5RGP
| URI | m2://inv/WJ0N9N5RGP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dorota Dabrowska, Dorota Dabrowska (topic). Also Wikidata Q43812288
History
- 2026-11-02: add by m2/dev
metric system WJ0T2RZCP7
| URI | m2://inv/WJ0T2RZCP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q232405, metric system (definition). Also ProofWiki Definition:Metric_System
History
- 2026-10-26: add by m2/dev
Commutation theorem WJ0XY9W0YW
| URI | m2://inv/WJ0XY9W0YW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#SWQJ, Commutation theorem (statement)
History
- 2026-11-02: add by m2/dev
Leo Rosen WJ13WCEEKT
| URI | m2://inv/WJ13WCEEKT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leo Rosen, Leo Rosen (topic). Also Wikidata Q6524190
History
- 2026-11-02: add by m2/dev
Hilbert irreducibility on a twisted curve WJ165Q8J7W
| URI | m2://inv/WJ165Q8J7W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09298#OY0H, Hilbert irreducibility on a twisted curve (statement). In 1SPQ4J3AWY/e1, lemma 5.16
History
- 2026-10-29: add by m2/v0.4.10
WJ18FWKH5F WJ18FWKH5F
| URI | m2://inv/WJ18FWKH5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.14879#3X1L (statement). In 3VZ55B2N0D/e1, corollary 6.23
History
- 2026-10-27: add by m2/v0.4.0
WJ1HF49N1Q WJ1HF49N1Q
| URI | m2://inv/WJ1HF49N1Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/introduction/primitive-recursion.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 37.5
History
- 2026-11-01: add by m2/v0.6.13
circumscribed sphere WJ1K2YEG4A
| URI | m2://inv/WJ1K2YEG4A |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Circumsphere MRC4WMVTAH |
Mentions
- wikidata: Wikidata Q1414689, circumscribed sphere (unknown). Also MathWorld Circumsphere
- wikipedia: Wikipedia Circumscribed sphere, Circumscribed sphere (object). Also Wikidata Q1414689
History
- 2026-10-26: add by m2/dev
Hypergraph counting lemma WJ1KWKGBQS
| URI | m2://inv/WJ1KWKGBQS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergraph regularity method#EA22, Hypergraph counting lemma (statement)
History
- 2026-11-02: add by m2/dev
WJ1WH15SN5 WJ1WH15SN5
| URI | m2://inv/WJ1WH15SN5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25282#RON7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kozeny–Carman equation WJ24MW5MFC
| URI | m2://inv/WJ24MW5MFC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kozeny–Carman equation, Kozeny–Carman equation (definition). Also Wikidata Q1043489
History
- 2026-11-02: add by m2/dev
Common Formulas for Deep Water WJ271T8PSN
| URI | m2://inv/WJ271T8PSN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wind wave model#3Z6F, Common Formulas for Deep Water (statement)
History
- 2026-11-02: add by m2/dev
WJ29MXFWAM WJ29MXFWAM
| URI | m2://inv/WJ29MXFWAM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.18195#5THU (statement). In 6B8FNCHF1Z/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.6
Deligne bounds WJ2DWFF1W4
| URI | m2://inv/WJ2DWFF1W4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09694#HA5T, Deligne bounds (statement). In 7VXBVQ5SAC/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Langton's ant WJ3050N02P
| URI | m2://inv/WJ3050N02P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q460805, Langton's ant (unknown). Also MathWorld LangtonsAnt
- wikipedia: Wikipedia Langton's ant, Langton's ant (definition). Also Wikidata Q460805
History
- 2026-10-26: add by m2/dev
WJ3269G2VY WJ3269G2VY
| URI | m2://inv/WJ3269G2VY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03579#HHW4 (statement). In PZQ3D6A9J0/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Remark WJ37AZWTPN
| URI | m2://inv/WJ37AZWTPN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C*-algebra#KJ56, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Plünnecke–Ruzsa inequality WJ38G8BBGW
| URI | m2://inv/WJ38G8BBGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freiman's theorem#K6T3, Plünnecke–Ruzsa inequality (statement)
History
- 2026-11-02: add by m2/dev
WJ3982BQWE WJ3982BQWE
| URI | m2://inv/WJ3982BQWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.08018#JDDO (statement). In TN93YFN45W/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.0
WJ3C2EFNMN WJ3C2EFNMN
| URI | m2://inv/WJ3C2EFNMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08583#LH1N (statement). In 5EKTECQ2P1/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
2-ring WJ3DAC5A9W
| URI | m2://inv/WJ3DAC5A9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2-ring, 2-ring (definition). Also Wikidata Q19596260
History
- 2026-11-02: add by m2/dev
WJ4279X31M WJ4279X31M
| URI | m2://inv/WJ4279X31M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#XLGJ (statement). In RZWJ0AT8W5/e1, theorem 3.8
History
- 2026-10-31: add by m2/v0.5.6
Contou-Carrère symbol WJ438VHX3S
| URI | m2://inv/WJ438VHX3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contou-Carrère symbol, Contou-Carrère symbol (definition). Also Wikidata Q16245803
History
- 2026-11-02: add by m2/dev
Donald Bogue WJ4CS6Y79J
| URI | m2://inv/WJ4CS6Y79J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#3L4L, Donald Bogue (unknown)
History
- 2026-11-02: add by m2/dev
Klein polyhedron WJ4ECC1ZFW
| URI | m2://inv/WJ4ECC1ZFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein polyhedron, Klein polyhedron (definition). Also Wikidata Q6420194
History
- 2026-11-02: add by m2/dev
Examples WJ4HQXWBM3
| URI | m2://inv/WJ4HQXWBM3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute magnitude#51CA, Examples (example)
History
- 2026-11-02: add by m2/dev
Feller's coin-tossing constants WJ4PAG7YXC
| URI | m2://inv/WJ4PAG7YXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feller's coin-tossing constants, Feller's coin-tossing constants (definition). Also Wikidata Q5442450
History
- 2026-11-02: add by m2/dev
Definition (weakly distributive homomorphisms) WJ4YXT2MG1
| URI | m2://inv/WJ4YXT2MG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributive homomorphism#3EF0, Definition (weakly distributive homomorphisms) (definition)
History
- 2026-11-02: add by m2/dev
WJ5BPMBFEY WJ5BPMBFEY
| URI | m2://inv/WJ5BPMBFEY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19861#HBNA (statement). In 5ZPQ60TM6J/e1, proposition 11
History
- 2026-10-28: add by m2/v0.4.2
Special cases WJ5MP3T0M9
| URI | m2://inv/WJ5MP3T0M9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncentral F-distribution#KYOZ, Special cases (statement)
History
- 2026-11-02: add by m2/dev
WJ5XR27235 WJ5XR27235
| URI | m2://inv/WJ5XR27235 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#OEAU (statement). In X9WFC1D9ZS/e1, lemma 28
History
- 2026-10-27: add by m2/v0.4.2
Theorem WJ5Y5DB81P
| URI | m2://inv/WJ5Y5DB81P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparsity matroid#E2P1, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Record families WJ5Z9GS5GH
| URI | m2://inv/WJ5Z9GS5GH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37375#2HPK, Record families (example). In PV4Z2FRXRZ/e1, example 2.1
History
- 2026-10-30: add by m2/v0.4.12
group WJ667V6N4H
| URI | m2://inv/WJ667V6N4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#LPJ1, group (definition)
History
- 2026-11-02: add by m2/dev
WJ6A135T0P WJ6A135T0P
| URI | m2://inv/WJ6A135T0P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31757#CJTU (statement). In KBJHAD5TTY/e1, corollary 1.4
History
- 2026-10-31: add by m2/v0.5.6
Algorithm WJ6B52D848
| URI | m2://inv/WJ6B52D848 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential mechanism#RWR2, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Example WJ6B9HBX7T
| URI | m2://inv/WJ6B9HBX7T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P versus NP problem#7KQD, Example (example)
History
- 2026-11-02: add by m2/dev
Skolem problem WJ6F522VRY
| URI | m2://inv/WJ6F522VRY |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#DWXG, Skolem problem (conjecture)
History
- 2026-11-02: add by m2/dev
Gilbert de la Porrée WJ6K3HP7FD
| URI | m2://inv/WJ6K3HP7FD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#U5ET, Gilbert de la Porrée (topic)
History
- 2026-11-02: add by m2/dev
WJ6VXYCEM6 WJ6VXYCEM6
| URI | m2://inv/WJ6VXYCEM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.13802#0V3M (statement). In MH358B1GVQ/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
WJ72HGNCW2 WJ72HGNCW2
| URI | m2://inv/WJ72HGNCW2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#JU23 (definition). In 44DQ7W1NW9/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Directed Branchwidth WJ76B4GTRV
| URI | m2://inv/WJ76B4GTRV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20391#2LF7, Directed Branchwidth (definition). In CTAS41TRM2/e1, definition 4.9
History
- 2026-10-27: add by m2/v0.4.2
WJ77KDCF05 WJ77KDCF05
| URI | m2://inv/WJ77KDCF05 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/recursion.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 74.5
History
- 2026-11-01: add by m2/v0.6.13
WJ7AYKY0WQ WJ7AYKY0WQ
| URI | m2://inv/WJ7AYKY0WQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#5MAM (definition). In 13H5BTAXHF/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Grinberg graph 42 WJ7EP42K49
| URI | m2://inv/WJ7EP42K49 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2816778, Grinberg graph 42 (unknown). Also House of Graphs 1126
History
- 2026-10-26: add by m2/dev
Dieciocho de Mayo WJ7MHHB330
| URI | m2://inv/WJ7MHHB330 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#5D9E, Dieciocho de Mayo (unknown)
History
- 2026-11-02: add by m2/dev
WJ7N0VZBAS WJ7N0VZBAS
| URI | m2://inv/WJ7N0VZBAS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1509.00950#NLXB (statement). In MDZFW5GACV/e1, proposition 8.6
History
- 2026-10-27: add by m2/v0.3.5
parallel morphism WJ7PMPMW29
| URI | m2://inv/WJ7PMPMW29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#2Y7G, parallel morphism (definition)
History
- 2026-11-02: add by m2/dev
factorization system WJ7RMAW54P
| URI | m2://inv/WJ7RMAW54P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Factorization system 36J8PH2B0T |
Mentions
- wikidata: Wikidata Q5428747, factorization system (unknown). Also nLab factorization system
- wikipedia: Wikipedia Factorization system, Factorization system (definition). Also Wikidata Q5428747
History
- 2026-10-26: add by m2/dev
WJ7RNTZAPM WJ7RNTZAPM
| URI | m2://inv/WJ7RNTZAPM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.02331#M992 (definition). In N9J5DJCTJZ/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
WJ7RQ2MRA9 WJ7RQ2MRA9
| URI | m2://inv/WJ7RQ2MRA9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35577#OILX (definition). In 4F8QRV05BV/e1, definition 2.10
History
- 2026-10-30: add by m2/v0.4.12
WJ7W0DBZBK WJ7W0DBZBK
| URI | m2://inv/WJ7W0DBZBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#RXK5 (statement). In PWXT7J9JX3/e1, theorem 7.12
History
- 2026-10-28: add by m2/v0.4.2
Bernhard Schölkopf WJ80FDKSB4
| URI | m2://inv/WJ80FDKSB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9TWP, Bernhard Schölkopf (unknown)
History
- 2026-11-02: add by m2/dev
WJ829EC2NY WJ829EC2NY
| URI | m2://inv/WJ829EC2NY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.21391#UTH2 (statement). In J9C7YMKJ33/e1, corollary 2.5
History
- 2026-10-27: add by m2/v0.3.5
WJ8586WRA5 WJ8586WRA5
| URI | m2://inv/WJ8586WRA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21544#WDWQ (statement). In 5FMMWKNYWW/e1, lemma 3.15
History
- 2026-10-27: add by m2/v0.4.2
WJ8KPPKPQ3 WJ8KPPKPQ3
| URI | m2://inv/WJ8KPPKPQ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29227#6EVM (statement)
History
- 2026-11-01: add by m2/v0.6.15
functor that creates limits WJ8TYKKZR4
| URI | m2://inv/WJ8TYKKZR4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141066058, functor that creates limits (unknown). Also nLab created limit
History
- 2026-10-26: add by m2/dev
WJ8VV1E6JB WJ8VV1E6JB
| URI | m2://inv/WJ8VV1E6JB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40274#GWP3 (statement). In 7ZDNJC9MST/e1, theorem 7.1
History
- 2026-10-30: add by m2/v0.4.12
WJ8X29WYX9 WJ8X29WYX9
| URI | m2://inv/WJ8X29WYX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00775#OIXI (statement). In WVHA7H05QC/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.12
WJ940N7JWH WJ940N7JWH
| URI | m2://inv/WJ940N7JWH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37197#1GB7 (example). In 98ESNNP0CC/e1, example 4.1
History
- 2026-10-30: add by m2/v0.4.12
Examples WJ95QF8AJ1
| URI | m2://inv/WJ95QF8AJ1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tridecahedron#4QIH, Examples (example)
History
- 2026-11-02: add by m2/dev
Telephone number WJ9BKNG2R8
| URI | m2://inv/WJ9BKNG2R8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Telephone number (mathematics), Telephone number (definition). Also Wikidata Q7696507
History
- 2026-11-02: add by m2/dev
WJ9Q78SSTN WJ9Q78SSTN
| URI | m2://inv/WJ9Q78SSTN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 41.6
History
- 2026-11-01: add by m2/v0.6.13
WJ9RW50AX8 WJ9RW50AX8
| URI | m2://inv/WJ9RW50AX8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#E1I4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
WJ9TXFAMV0 WJ9TXFAMV0
| URI | m2://inv/WJ9TXFAMV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11048#0PEA (statement). In H6TK4V0YVQ/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
Kummer's test WJ9XQJQ14D
| URI | m2://inv/WJ9XQJQ14D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q736383, Kummer's test (statement). Also MathWorld KummersTest
History
- 2026-10-26: add by m2/dev
Properties WJA7DCFG8P
| URI | m2://inv/WJA7DCFG8P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supergolden ratio#U0OK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Minimal-orbit reduction WJAB4RJ8RR
| URI | m2://inv/WJAB4RJ8RR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#4LXJ, Minimal-orbit reduction (statement). In 5BZQS1KY9A/e1, proposition 2.15
History
- 2026-10-29: add by m2/v0.4.10
Erdős–Ginzburg–Ziv theorem WJAE388770
| URI | m2://inv/WJAE388770 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#K5WC, Erdős–Ginzburg–Ziv theorem (problem)
History
- 2026-11-02: add by m2/dev
Treze de Maio WJAKAR8ESH
| URI | m2://inv/WJAKAR8ESH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#L7CB, Treze de Maio (unknown)
History
- 2026-11-02: add by m2/dev
WJAPJSR24J WJAPJSR24J
| URI | m2://inv/WJAPJSR24J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08424#RVTR (statement). In BVD2HAAKD5/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
WJAVMTQ448 WJAVMTQ448
| URI | m2://inv/WJAVMTQ448 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#UI22 (unknown). In QNBFHFZ3H0/e1, unknown 10
History
- 2026-10-28: add by m2/v0.4.2
WJAXDN4YEK WJAXDN4YEK
| URI | m2://inv/WJAXDN4YEK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18239#AZ0G (statement). In C60WZ6WQSY/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
R. G. Collingwood WJB2QNRVGC
| URI | m2://inv/WJB2QNRVGC |
|---|---|
| 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 Q317075, R. G. Collingwood (unknown). Also nLab Robin Collingwood
History
- 2026-10-26: add by m2/dev
WJB34HNR6M WJB34HNR6M
| URI | m2://inv/WJB34HNR6M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14692#0GHN (statement). In NE5EH5FXRV/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Vladimir Malanin WJBBHXWYRC
| URI | m2://inv/WJBBHXWYRC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Malanin, Vladimir Malanin (topic). Also Wikidata Q4276546
History
- 2026-11-02: add by m2/dev
WJBBQ0XFA7 WJBBQ0XFA7
| URI | m2://inv/WJBBQ0XFA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#374S (statement). In 9EMCPF1F2T/e1, theorem 50
History
- 2026-10-29: add by m2/v0.4.10
Corollary (Maschke's theorem) WJBKSCJ68J
| URI | m2://inv/WJBKSCJ68J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maschke's theorem#Q356, Corollary (Maschke's theorem) (statement)
History
- 2026-11-02: add by m2/dev
Formal shift coefficients WJBPKFYFBH
| URI | m2://inv/WJBPKFYFBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14044#EHM7, Formal shift coefficients (statement). In 5452SJRWDT/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
WJBS2Y2P7W WJBS2Y2P7W
| URI | m2://inv/WJBS2Y2P7W |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#proof-4 (proof). In RZP28ERRZV, proof, section 92.7
History
- 2026-11-01: add by m2/v0.6.13
Robert Connelly WJBY2YG74F
| URI | m2://inv/WJBY2YG74F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7CGB, Robert Connelly (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7VB0, Robert Connelly (unknown)
History
- 2026-11-02: add by m2/dev
Definition WJC2J1SSAN
| URI | m2://inv/WJC2J1SSAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolakoski sequence#A13C, Definition (definition)
History
- 2026-11-02: add by m2/dev
Invariance under rational affine changes WJC2PNXE80
| URI | m2://inv/WJC2PNXE80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10192#CICC, Invariance under rational affine changes (statement). In CEV9Q1KZY7/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
William Kruskal WJCD71DAZY
| URI | m2://inv/WJCD71DAZY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#QN44, William Kruskal (topic)
History
- 2026-11-02: add by m2/dev
Applications WJCG4T9HCG
| URI | m2://inv/WJCG4T9HCG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random oracle#TMZE, Applications (example)
History
- 2026-11-02: add by m2/dev
Applications WJCH3ZS4ZH
| URI | m2://inv/WJCH3ZS4ZH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentially closed field#WJQ9, Applications (example)
History
- 2026-11-02: add by m2/dev
WJCKBJ8ASN WJCKBJ8ASN
| URI | m2://inv/WJCKBJ8ASN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20513#G34F (statement)
History
- 2026-11-02: add by m2/v0.6.18
WJCKYEQEJX WJCKYEQEJX
| URI | m2://inv/WJCKYEQEJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09042#XLJB (statement). In 7CS3N5K9FJ/e1, lemma 14
History
- 2026-10-29: add by m2/v0.4.10
WJCN7NYRJB WJCN7NYRJB
| URI | m2://inv/WJCN7NYRJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#Y927 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Half Dome Nunatak WJCRNC0F9D
| URI | m2://inv/WJCRNC0F9D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#I7HE, Half Dome Nunatak (unknown)
History
- 2026-11-02: add by m2/dev
Philipp Frank WJCY1R4MTM
| URI | m2://inv/WJCY1R4MTM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#4E22, Philipp Frank (unknown)
History
- 2026-11-02: add by m2/dev
Conditional random field WJD2X02NXA
| URI | m2://inv/WJD2X02NXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ABHT, Conditional random field (definition)
History
- 2026-11-02: add by m2/dev
WJD4WN7677 WJD4WN7677
| URI | m2://inv/WJD4WN7677 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16962#0XL5 (definition). In KJC9FRS3C2/e1, definition 12.1
History
- 2026-10-28: add by m2/v0.4.2
WJDMWDX16S WJDMWDX16S
| URI | m2://inv/WJDMWDX16S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06895#7NSA (statement). In PBB3PSDP0S/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Differential identities WJDP26AXJ5
| URI | m2://inv/WJDP26AXJ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02714#51DQ, Differential identities (statement). In R9AXCJWK8F/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.12
Wiener sausage WJDVRJ6SV1
| URI | m2://inv/WJDVRJ6SV1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7999139, Wiener sausage (concept). Also MathWorld WienerSausage
- wikipedia: Wikipedia Wiener sausage, Wiener sausage (definition). Also Wikidata Q7999139
History
- 2026-10-26: add by m2/dev
Quasi-geodesics WJDVSHGN14
| URI | m2://inv/WJDVSHGN14 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25468#6FB4, Quasi-geodesics (definition)
History
- 2026-11-01: add by m2/v0.6.15
weak negation WJDYEKZ6G8
| URI | m2://inv/WJDYEKZ6G8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#8T85, weak negation (definition)
History
- 2026-11-02: add by m2/dev
Glenn Shafer WJE4V6SQFG
| URI | m2://inv/WJE4V6SQFG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glenn Shafer, Glenn Shafer (topic). Also Wikidata Q1531111
History
- 2026-11-02: add by m2/dev
Contraction principle WJE7RVJB6A
| URI | m2://inv/WJE7RVJB6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40271#9LL1, Contraction principle (statement). In 9MXMRKFKDW/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
Pollard's rho algorithm WJE7YZHBTK
| URI | m2://inv/WJE7YZHBTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q946489, Pollard's rho algorithm (unknown). Also MathWorld PollardRhoFactorizationMethod
- wikipedia: Wikipedia Pollard's rho algorithm, Pollard's rho algorithm (definition). Also Wikidata Q946489
History
- 2026-10-26: add by m2/dev
Happy Ending problem WJECV37HFP
| URI | m2://inv/WJECV37HFP |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Happy ending problem PX7SS1X16K |
Mentions
- wikidata: Wikidata Q1033772, Happy Ending problem (problem). Also Erdős problem 107, MathWorld HappyEndProblem
- wikipedia: Wikipedia Happy ending problem, Happy ending problem (problem). Also Wikidata Q1033772
History
- 2026-10-26: add by m2/dev
WJEFRD1VRY WJEFRD1VRY
| URI | m2://inv/WJEFRD1VRY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15881#YVJQ (statement). In RK0JCSYK33/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
WJEFWH48N5 WJEFWH48N5
| URI | m2://inv/WJEFWH48N5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14847#G15Y (statement). In 2RC8WXQ9ET/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
WJEXSKHXR5 WJEXSKHXR5
| URI | m2://inv/WJEXSKHXR5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#GP0F (statement). In 8XAKGH8S2D/e1, corollary 3.17
History
- 2026-10-29: add by m2/v0.4.10
WJEYSF9YPW WJEYSF9YPW
| URI | m2://inv/WJEYSF9YPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05327#1LRQ (statement). In ZD7BWDKT84/e1, corollary 8.7
History
- 2026-10-29: add by m2/v0.4.10
Chirp Z-transform WJF1GH3YRF
| URI | m2://inv/WJF1GH3YRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chirp Z-transform, Chirp Z-transform (definition). Also Wikidata Q886077
History
- 2026-11-02: add by m2/dev
Symmetry WJF75NKQCV
| URI | m2://inv/WJF75NKQCV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-6 square tiling#0PKR, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Zeta function universality WJF8CJYN59
| URI | m2://inv/WJF8CJYN59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeta function universality, Zeta function universality (definition). Also Wikidata Q8069736
History
- 2026-11-02: add by m2/dev
An arbitrarily weak local Hamiltonian can destroy rapid mixing WJFAAMA0N6
| URI | m2://inv/WJFAAMA0N6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#S27B, An arbitrarily weak local Hamiltonian can destroy rapid mixing (statement). In NAM9ZMPHZ9/e1, lemma 3.10
History
- 2026-10-30: add by m2/v0.4.12
Global resolved translation and contact formula WJFF767XRR
| URI | m2://inv/WJFF767XRR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20215#XIDK, Global resolved translation and contact formula (statement)
History
- 2026-11-02: add by m2/v0.6.18
WJFNRV2MRD WJFNRV2MRD
| URI | m2://inv/WJFNRV2MRD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28650#R1G9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Don Davis WJG17JDT6K
| URI | m2://inv/WJG17JDT6K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#IULA, Don Davis (unknown)
History
- 2026-11-02: add by m2/dev
Kramers–Wannier duality WJG8WYJY1G
| URI | m2://inv/WJG8WYJY1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#WJ4Y, Kramers–Wannier duality (definition)
History
- 2026-11-02: add by m2/dev
Giry monad WJG93Z8NX6
| URI | m2://inv/WJG93Z8NX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giry monad, Giry monad (definition). Also Wikidata Q127915480
History
- 2026-11-02: add by m2/dev
Andreas Albrecht WJG9V8FQ79
| URI | m2://inv/WJG9V8FQ79 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andreas Albrecht (mathematician), Andreas Albrecht (topic). Also Wikidata Q24718493
History
- 2026-11-02: add by m2/dev
Tribhuvan University WJGBCNHR4S
| URI | m2://inv/WJGBCNHR4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tribhuvan University, Tribhuvan University (definition). Also Wikidata Q588239
History
- 2026-11-02: add by m2/dev
DQI from self-dual AG codes WJH27Y0NCQ
| URI | m2://inv/WJH27Y0NCQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31484#6FWU, DQI from self-dual AG codes (statement). In 1RDQ10G87W/e1, corollary 3.3
History
- 2026-10-31: add by m2/v0.5.6
WJH6WTAPDN WJH6WTAPDN
| URI | m2://inv/WJH6WTAPDN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01599#91VP (statement). In K2KYNCWER3/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.12
Three Brothers, South Georgia WJHDQ3DRVA
| URI | m2://inv/WJHDQ3DRVA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#6JKO, Three Brothers, South Georgia (unknown)
History
- 2026-11-02: add by m2/dev
Gaussberg WJHF5MKVX8
| URI | m2://inv/WJHF5MKVX8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#EB7S, Gaussberg (unknown)
History
- 2026-11-02: add by m2/dev
Sheldon Katz WJHG08QNWX
| URI | m2://inv/WJHG08QNWX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15435337, Sheldon Katz (unknown). Also nLab Sheldon Katz
- wikipedia: Wikipedia Sheldon Katz, Sheldon Katz (topic). Also Wikidata Q15435337
History
- 2026-10-26: add by m2/dev
Shlomo Sawilowsky WJHNPGX4JW
| URI | m2://inv/WJHNPGX4JW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#LALD, Shlomo Sawilowsky (topic)
History
- 2026-11-02: add by m2/dev
SAS Institute WJHQG1EN6W
| URI | m2://inv/WJHQG1EN6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SAS Institute, SAS Institute (definition). Also Wikidata Q1473820
History
- 2026-11-02: add by m2/dev
WJHS9ZDQFS WJHS9ZDQFS
| URI | m2://inv/WJHS9ZDQFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09042#2V1T (statement). In 7CS3N5K9FJ/e1, lemma 19
History
- 2026-10-29: add by m2/v0.4.10
Multiscale stability of robust obstruction sets WJHVFA7T07
| URI | m2://inv/WJHVFA7T07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28160#3QE2, Multiscale stability of robust obstruction sets (statement)
History
- 2026-11-01: add by m2/v0.6.15
WJJ2303XBF WJJ2303XBF
| URI | m2://inv/WJJ2303XBF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39254#ZM0L (statement). In A59MZ9H284/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
supersingular primes WJJESVXZFW
| URI | m2://inv/WJJESVXZFW |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#YDJU, supersingular primes (conjecture)
History
- 2026-11-02: add by m2/dev
Formulation WJJHPN1WV8
| URI | m2://inv/WJJHPN1WV8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Desargues's theorem#7AWF, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Stanisław Szarek WJJJD2ZSEE
| URI | m2://inv/WJJJD2ZSEE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A6FB, Stanisław Szarek (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#G7C2, Stanisław Szarek (topic)
History
- 2026-11-02: add by m2/dev
horseshoe map WJJQHEMH8Y
| URI | m2://inv/WJJQHEMH8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Smale horseshoe N63Z6EA6YS |
Mentions
- wikidata: Wikidata Q557781, horseshoe map (unknown). Also MathWorld SmaleHorseshoeMap
- wikipedia: Wikipedia Horseshoe map, Horseshoe map (definition). Also Wikidata Q557781
History
- 2026-10-26: add by m2/dev
Weighted alternating sign WJJTDVN1FQ
| URI | m2://inv/WJJTDVN1FQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38243#0GK0, Weighted alternating sign (statement). In R03K2N7FRF/e1, theorem B.4
History
- 2026-10-30: add by m2/v0.4.12
Puiseux series WJJVQKJ7BH
| URI | m2://inv/WJJVQKJ7BH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 4 |
| Outcome | open |
| Node | Puiseux series SENTYNSKSF |
Mentions
- mathlib_1000: mathlib_1000 Q401319, Puiseux's theorem (statement). Also Wikidata Q401319
- thousand_plus: thousand_plus Q401319, Puiseux's theorem (statement). Also Wikidata Q401319
- wikidata: Wikidata Q401319, Puiseux series (concept). Also MathWorld PuiseuxSeries, nLab Puiseux series
- wikipedia: Wikipedia Puiseux series, Puiseux series (definition). Also Wikidata Q401319
History
- 2026-10-26: add by m2/dev
Graphon WJJXK7DDMN
| URI | m2://inv/WJJXK7DDMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#OAB2, Graphon (definition)
History
- 2026-11-02: add by m2/dev
WJJZ6J486Q WJJZ6J486Q
| URI | m2://inv/WJJZ6J486Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08655#4GEN (statement). In ZT7H1ZDN96/e1, proposition 8.2
History
- 2026-10-29: add by m2/v0.4.10
Nikolai Bugaev WJK0963460
| URI | m2://inv/WJK0963460 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#C4HQ, Nikolai Bugaev (topic)
History
- 2026-11-02: add by m2/dev
Two-term coverage WJK7FVKWGA
| URI | m2://inv/WJK7FVKWGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37762#W9VU, Two-term coverage (statement). In 6YPMRQHMR5/e1, proposition 7
History
- 2026-10-30: add by m2/v0.4.12
Many distinct principal sets WJK7VJC014
| URI | m2://inv/WJK7VJC014 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25101#8ZM2, Many distinct principal sets (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chebyshev lemma for stochastic order WJK8HZ5WW5
| URI | m2://inv/WJK8HZ5WW5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big O in probability notation#0YMV, Chebyshev lemma for stochastic order (statement)
History
- 2026-11-02: add by m2/dev
Proofs of quadratic reciprocity WJK9PVZWHZ
| URI | m2://inv/WJK9PVZWHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs of quadratic reciprocity, Proofs of quadratic reciprocity (definition). Also Wikidata Q7250032
History
- 2026-11-02: add by m2/dev
Winfield W. Riefler WJKAEVQVE7
| URI | m2://inv/WJKAEVQVE7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#Y05P, Winfield W. Riefler (unknown)
History
- 2026-11-02: add by m2/dev
Hanoi graph WJKM4PDFMA
| URI | m2://inv/WJKM4PDFMA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60790835, Hanoi graph (unknown). Also MathWorld HanoiGraph
- wikipedia: Wikipedia Hanoi graph, Hanoi graph (definition). Also Wikidata Q60790835
History
- 2026-10-26: add by m2/dev
WJKV80X0PV WJKV80X0PV
| URI | m2://inv/WJKV80X0PV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.02019#W93K (statement). In PD607VXPY3/e1, corollary 11
History
- 2026-10-27: add by m2/v0.3.5
WJKW4X1J1Q WJKW4X1J1Q
| URI | m2://inv/WJKW4X1J1Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#TA10 (statement). In XBHQRTBH62/e1, theorem 2.13
History
- 2026-10-31: add by m2/v0.5.6
Glossary of real and complex analysis WJKY8MVMAD
| URI | m2://inv/WJKY8MVMAD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis, Glossary of real and complex analysis (topic). Also Wikidata Q128620609
History
- 2026-11-02: add by m2/dev
Separated finite-window theorem WJM4QQGE3D
| URI | m2://inv/WJM4QQGE3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#TCER, Separated finite-window theorem (statement). In 1QSV7EQE3T/e1, theorem S18
History
- 2026-10-28: add by m2/v0.4.2
Nelson rules WJM64GJQ58
| URI | m2://inv/WJM64GJQ58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7MKT, Nelson rules (definition)
History
- 2026-11-02: add by m2/dev
WJM70P1ZDM WJM70P1ZDM
| URI | m2://inv/WJM70P1ZDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40200#P683 (statement). In VWNB6QJWFN/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
Conditioning and optimal scalar balancing of two cross-coupled affine channels WJMAD02BXY
| URI | m2://inv/WJMAD02BXY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33021#JM0R, Conditioning and optimal scalar balancing of two cross-coupled affine channels (statement). In GG96DW33Q9/e1, theorem D.1
History
- 2026-10-31: add by m2/v0.5.6
WJMBQ25WFC WJMBQ25WFC
| URI | m2://inv/WJMBQ25WFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.23212#167E (statement). In 4X12V9RS0D/e1, lemma G.6
History
- 2026-10-27: add by m2/v0.3.5
WJMKT8E21W WJMKT8E21W
| URI | m2://inv/WJMKT8E21W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#1JOD (statement). In AQWX60Z563/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
WJMX5919KA WJMX5919KA
| URI | m2://inv/WJMX5919KA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19093#1JEM (statement). In S2K79KESZ4/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
WJN11VAETN WJN11VAETN
| URI | m2://inv/WJN11VAETN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20488#9JHT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Tree groupoids WJN3YGWPXG
| URI | m2://inv/WJN3YGWPXG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#Q7UO, Tree groupoids (definition). In SMJMAQ2S3J/e1, definition 23
History
- 2026-10-27: add by m2/v0.4.0
antimagic square WJNJBKF9XD
| URI | m2://inv/WJNJBKF9XD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3847677, antimagic square (unknown). Also MathWorld AntimagicSquare
- wikipedia: Wikipedia Antimagic square, Antimagic square (definition). Also Wikidata Q3847677
History
- 2026-10-26: add by m2/dev
WJNJP29YW0 WJNJP29YW0
| URI | m2://inv/WJNJP29YW0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#B4Y8 (statement). In 5E9G06XJKC/e1, lemma G.16
History
- 2026-10-28: add by m2/v0.4.2
Böhm tree WJNN17N04S
| URI | m2://inv/WJNN17N04S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Böhm tree, Böhm tree (definition). Also Wikidata Q5005152
History
- 2026-11-02: add by m2/dev
Computation of and WJNPD0ADS6
| URI | m2://inv/WJNPD0ADS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jamshid al-Kashi#I0UN, Computation of and (definition)
History
- 2026-11-02: add by m2/dev
Segre WJNVYCR9SS
| URI | m2://inv/WJNVYCR9SS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#RSGX, Segre (definition)
History
- 2026-11-02: add by m2/dev
Four Mile Cliff WJNYTWZBBV
| URI | m2://inv/WJNYTWZBBV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WLCA, Four Mile Cliff (unknown)
History
- 2026-11-02: add by m2/dev
WJP12JR7T4 WJP12JR7T4
| URI | m2://inv/WJP12JR7T4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example:intervalcompact (example). In E59CDZA4DP, example, section 4.4.2
History
- 2026-11-01: add by m2/v0.6.13
Reflection mapping WJPEYFHZN1
| URI | m2://inv/WJPEYFHZN1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#JICI, Reflection mapping (unknown)
History
- 2026-11-02: add by m2/dev
WJPF7GFHEG WJPF7GFHEG
| URI | m2://inv/WJPF7GFHEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18419#LFLC (statement). In 7Q26JWKD7E/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
WJPJ6VEPPG WJPJ6VEPPG
| URI | m2://inv/WJPJ6VEPPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18803#OAEK (statement). In VG8AF124T3/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Icosikaiheptagon WJPV44BWAV
| URI | m2://inv/WJPV44BWAV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#FXOQ, Icosikaiheptagon (topic)
History
- 2026-11-02: add by m2/dev
Examples WJPW4DQ0WF
| URI | m2://inv/WJPW4DQ0WF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized complex structure#45CL, Examples (example)
History
- 2026-11-02: add by m2/dev
Cheng's eigenvalue comparison theorem WJQ0DRM27V
| URI | m2://inv/WJQ0DRM27V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#7W5K, Cheng's eigenvalue comparison theorem (statement)
History
- 2026-11-02: add by m2/dev
Bayesian optimization WJQ1QPE2CA
| URI | m2://inv/WJQ1QPE2CA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian optimization, Bayesian optimization (definition). Also Wikidata Q17002908
History
- 2026-11-02: add by m2/dev
WJQ6J4QW52 WJQ6J4QW52
| URI | m2://inv/WJQ6J4QW52 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09319#WASC (statement). In GMRT5GHBZS/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
WJQHJZ3B8G WJQHJZ3B8G
| URI | m2://inv/WJQHJZ3B8G |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/unique-readability.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 39.3
History
- 2026-11-01: add by m2/v0.6.13
Examples WJQYCFQ5GC
| URI | m2://inv/WJQYCFQ5GC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concurrent lines#SNCQ, Examples (example)
History
- 2026-11-02: add by m2/dev
WJQZETEZ0P WJQZETEZ0P
| URI | m2://inv/WJQZETEZ0P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35191#717J (definition). In W9Z6S1PDTP/e1, definition 5.4
History
- 2026-10-30: add by m2/v0.4.12
Radó, Tibor WJR1SV22CQ
| URI | m2://inv/WJR1SV22CQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#GAQ8, Radó, Tibor (topic)
History
- 2026-11-02: add by m2/dev
WJR48Q7514 WJR48Q7514
| URI | m2://inv/WJR48Q7514 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05708#JZ77 (statement). In 3BJPFGJNSS/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.10
Method WJRBRZJFZP
| URI | m2://inv/WJRBRZJFZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darboux transformation#2S16, Method (definition)
History
- 2026-11-02: add by m2/dev
Notation WJRHJ01TTX
| URI | m2://inv/WJRHJ01TTX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix (mathematics)#IJG9, Notation (definition)
History
- 2026-11-02: add by m2/dev
Rand index WJRQM1SF6N
| URI | m2://inv/WJRQM1SF6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rand index, Rand index (definition). Also Wikidata Q7291446
History
- 2026-11-02: add by m2/dev
Joint probability distribution WJRS88A1JS
| URI | m2://inv/WJRS88A1JS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joint probability distribution, Joint probability distribution (definition). Also Wikidata Q1333358
History
- 2026-11-02: add by m2/dev
Inference line WJS2GTQP9E
| URI | m2://inv/WJS2GTQP9E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequent calculus#PBQ4, Inference line (unknown)
History
- 2026-11-02: add by m2/dev
WJS8373F1P WJS8373F1P
| URI | m2://inv/WJS8373F1P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20375#QQWF (definition)
History
- 2026-11-02: add by m2/v0.6.18
Closed-core criterion WJSCYVTQVV
| URI | m2://inv/WJSCYVTQVV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23281#UAE1, Closed-core criterion (statement)
History
- 2026-11-02: add by m2/v0.6.17
WJSM44Y8A9 WJSM44Y8A9
| URI | m2://inv/WJSM44Y8A9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#YT3G (statement). In 1A01NFHBGA/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.3
WJSNSY2492 WJSNSY2492
| URI | m2://inv/WJSNSY2492 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/inf-count.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 67.2
History
- 2026-11-01: add by m2/v0.6.13
Basilis C. Xanthopoulos WJSRHBZAN8
| URI | m2://inv/WJSRHBZAN8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#UIEI, Basilis C. Xanthopoulos (unknown)
History
- 2026-11-02: add by m2/dev
Definition WJT0ETQP9K
| URI | m2://inv/WJT0ETQP9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular tensor category#KO1X, Definition (definition)
History
- 2026-11-02: add by m2/dev
S-PLUS WJT5BY54XY
| URI | m2://inv/WJT5BY54XY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-PLUS, S-PLUS (definition). Also Wikidata Q3267991
History
- 2026-11-02: add by m2/dev
WJT60HXRYS WJT60HXRYS
| URI | m2://inv/WJT60HXRYS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.11969#Q49V (statement). In 9N4EV3GRM7/e1, theorem 3.8
History
- 2026-10-27: add by m2/v0.3.5
WJT8QEZZ9B WJT8QEZZ9B
| URI | m2://inv/WJT8QEZZ9B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#VWFB (statement). In JWNYJVH8XG/e1, lemma 2.19
History
- 2026-10-29: add by m2/v0.4.10
Lagrange's four-square theorem WJTC64KVTD
| URI | m2://inv/WJTC64KVTD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski's theorem#UMDP, Lagrange's four-square theorem (statement)
History
- 2026-11-02: add by m2/dev
WJTKSVAMQ8 WJTKSVAMQ8
| URI | m2://inv/WJTKSVAMQ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18740#YPNF (statement). In 82815Z5JR7/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
WJTM71X63P WJTM71X63P
| URI | m2://inv/WJTM71X63P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.03611#QWZI (definition). In 75E8ZB1CBV/e1, definition 3.1.1
History
- 2026-10-27: add by m2/v0.4.0
IT++ WJTMNXG0NR
| URI | m2://inv/WJTMNXG0NR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#DIGO, IT++ (unknown)
History
- 2026-11-02: add by m2/dev
Sandrine Dudoit WJTS2BMNPD
| URI | m2://inv/WJTS2BMNPD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#T6AC, Sandrine Dudoit (topic)
History
- 2026-11-02: add by m2/dev
WJTVMZ47WN WJTVMZ47WN
| URI | m2://inv/WJTVMZ47WN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26500#GS3A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algebraic geometry code WJTZFJ5SJ9
| URI | m2://inv/WJTZFJ5SJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic geometry code, Algebraic geometry code (definition). Also Wikidata Q2981471
History
- 2026-11-02: add by m2/dev
WJV0QGN6TS WJV0QGN6TS
| URI | m2://inv/WJV0QGN6TS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12430#KVOV (statement). In VGKCBWQ65N/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Schwinger–Dyson equation WJV0Z3XGJC
| URI | m2://inv/WJV0Z3XGJC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwinger–Dyson equation, Schwinger–Dyson equation (definition). Also Wikidata Q1269302
History
- 2026-11-02: add by m2/dev
Muang Sam Sip district WJV557RNTD
| URI | m2://inv/WJV557RNTD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#EBRJ, Muang Sam Sip district (unknown)
History
- 2026-11-02: add by m2/dev
stationary spacetime WJVCWVRVCT
| URI | m2://inv/WJVCWVRVCT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3966119, stationary spacetime (unknown). Also nLab stationary spacetime
History
- 2026-10-26: add by m2/dev
Half-integer WJVEQ384K3
| URI | m2://inv/WJVEQ384K3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Half-integer, Half-integer (definition). Also Wikidata Q743139
History
- 2026-11-02: add by m2/dev
WJVEYBYZWK WJVEYBYZWK
| URI | m2://inv/WJVEYBYZWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#A566 (statement). In TC5QA4AB4Z/e1, corollary 4.21
History
- 2026-10-30: add by m2/v0.4.12
WJVG0N8JXW WJVG0N8JXW
| URI | m2://inv/WJVG0N8JXW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#G5B7 (definition). In G02N9D40B9/e1, definition 4.3.1
History
- 2026-10-29: add by m2/v0.4.10
KCalc WJVHHRYJ5S
| URI | m2://inv/WJVHHRYJ5S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#161V, KCalc (unknown)
History
- 2026-11-02: add by m2/dev
Barth–Nieto quintic WJVMAVKV0S
| URI | m2://inv/WJVMAVKV0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barth–Nieto quintic, Barth–Nieto quintic (definition). Also Wikidata Q4865318
History
- 2026-11-02: add by m2/dev
WJVTG6WQTR WJVTG6WQTR
| URI | m2://inv/WJVTG6WQTR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15525#7MJP (statement). In EFDRME13PT/e1, corollary 6.7
History
- 2026-10-28: add by m2/v0.4.2
WJVTRFWTWR WJVTRFWTWR
| URI | m2://inv/WJVTRFWTWR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28489#Q2XF (definition)
History
- 2026-11-01: add by m2/v0.6.15
Properties WJVW6KQE5W
| URI | m2://inv/WJVW6KQE5W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prüfer group#4ZMX, Properties (statement)
History
- 2026-11-02: add by m2/dev
Entropic uncertainty principle for metaplectic operators WJVYKMF5KV
| URI | m2://inv/WJVYKMF5KV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34946#0R9C, Entropic uncertainty principle for metaplectic operators (statement). In Y27BAB2BB4/e1, proposition 1.2
History
- 2026-10-30: add by m2/v0.4.12
WJW3BJDKDA WJW3BJDKDA
| URI | m2://inv/WJW3BJDKDA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10202#FEKE (statement). In ER06JKXR8B/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.4.0
Overcategory WJWB2X5Q0F
| URI | m2://inv/WJWB2X5Q0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overcategory, Overcategory (definition). Also Wikidata Q104864167
History
- 2026-11-02: add by m2/dev
WJWBRFDN10 WJWBRFDN10
| URI | m2://inv/WJWBRFDN10 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16962#JCKO (definition). In KJC9FRS3C2/e1, definition 13.1
History
- 2026-10-28: add by m2/v0.4.2
Piecewise-uniform valuation WJWC49V206
| URI | m2://inv/WJWC49V206 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in fair division#S7XB, Piecewise-uniform valuation (unknown)
History
- 2026-11-02: add by m2/dev
WJWCVEQNRP WJWCVEQNRP
| URI | m2://inv/WJWCVEQNRP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#9034 (definition). In HX63A1PH1W/e1, definition 8.36
History
- 2026-10-28: add by m2/v0.4.3
uniqueness, principle, propositional, for a modality WJWDVR46M9
| URI | m2://inv/WJWDVR46M9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/uniqueness-principle-propositional-for-a-modality, uniqueness, principle, propositional, for a modality (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
WJWF3MJWN7 WJWF3MJWN7
| URI | m2://inv/WJWF3MJWN7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#L59T (statement). In V7SN19J84T/e1, lemma 6.9
History
- 2026-10-28: add by m2/v0.4.2
WJWNK6WG3B WJWNK6WG3B
| URI | m2://inv/WJWNK6WG3B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29450#WSE8 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Dilution identity and global quadratic growth WJWT8KEM39
| URI | m2://inv/WJWT8KEM39 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37917#NNT8, Dilution identity and global quadratic growth (statement). In YYN10BJG1Q/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
WJX30TA4H2 WJX30TA4H2
| URI | m2://inv/WJX30TA4H2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.13464#PR8C (statement). In JPYGC2R3FC/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.3.6
Multiplication formulas WJX5JM7RET
| URI | m2://inv/WJX5JM7RET |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic number#R6WB, Multiplication formulas (statement)
History
- 2026-11-02: add by m2/dev
WJXJCHQ9YA WJXJCHQ9YA
| URI | m2://inv/WJXJCHQ9YA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#X3SC (statement). In EAABRG99V8/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.4.0
WJXQ81J48S WJXQ81J48S
| URI | m2://inv/WJXQ81J48S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#TBBU (statement). In 1QSCT53ZED/e1, lemma 7.19
History
- 2026-10-27: add by m2/v0.4.0
WJXQZY1K65 WJXQZY1K65
| URI | m2://inv/WJXQZY1K65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19853#FLKF (statement). In BDD1M5GZR3/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Association mapping WJXS5BGHEY
| URI | m2://inv/WJXS5BGHEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association mapping, Association mapping (definition). Also Wikidata Q4809584
History
- 2026-11-02: add by m2/dev
WJY40RN148 WJY40RN148
| URI | m2://inv/WJY40RN148 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-3.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
WJY5H4SATT WJY5H4SATT
| URI | m2://inv/WJY5H4SATT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#NKBL (example). In 9ZSNSJRJ5N/e1, example 18
History
- 2026-10-27: add by m2/v0.4.2
WJY6N0JJQ1 WJY6N0JJQ1
| URI | m2://inv/WJY6N0JJQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10477#U3ZJ (statement). In 1NZSZ241WE/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Jared Mansfield WJY6P0BMMJ
| URI | m2://inv/WJY6P0BMMJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jared Mansfield, Jared Mansfield (topic). Also Wikidata Q6160029
History
- 2026-11-02: add by m2/dev
WJY75GYMXB WJY75GYMXB
| URI | m2://inv/WJY75GYMXB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#ITDC (statement). In GAG532VMPF/e1, theorem 4.2.1
History
- 2026-10-27: add by m2/v0.3.5
Degenerate bilinear form WJY83430HX
| URI | m2://inv/WJY83430HX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degenerate bilinear form, Degenerate bilinear form (definition). Also Wikidata Q8214677
History
- 2026-11-02: add by m2/dev
Variation WJYANB2SPE
| URI | m2://inv/WJYANB2SPE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Initial mass function#4ZS7, Variation (statement)
History
- 2026-11-02: add by m2/dev
WJYAW6CNHZ WJYAW6CNHZ
| URI | m2://inv/WJYAW6CNHZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32138#LCOG (statement). In ZG0GNHTCWB/e1, lemma 6.6
History
- 2026-10-31: add by m2/v0.5.6
WJYBEY5EQC WJYBEY5EQC
| URI | m2://inv/WJYBEY5EQC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.21444#I1MT (statement). In CTVPA2FQT1/e1, lemma 9.2
History
- 2026-10-27: add by m2/v0.4.0
Rhetorical device WJYBJZQKQR
| URI | m2://inv/WJYBJZQKQR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Literary device#9KVA, Rhetorical device (unknown)
History
- 2026-11-02: add by m2/dev
Superposition principle WJYCGGVJXQ
| URI | m2://inv/WJYCGGVJXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30821#6G4H, Superposition principle (statement). In 1MZ9XBPTFQ/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
WJYE6AJ5CJ WJYE6AJ5CJ
| URI | m2://inv/WJYE6AJ5CJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21017#TYTH (statement)
History
- 2026-11-02: add by m2/v0.6.18
WJYH42PXXR WJYH42PXXR
| URI | m2://inv/WJYH42PXXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06699#BB9W (statement). In GXHKRV5BPY/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
WJYHE86YXY WJYHE86YXY
| URI | m2://inv/WJYHE86YXY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00048#N8DK (statement). In 4T0CFT0MMX/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
WJYJVTKF4Q WJYJVTKF4Q
| URI | m2://inv/WJYJVTKF4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#5VX9 (statement). In XX1J2REXY2/e1, theorem E
History
- 2026-10-28: add by m2/v0.4.2
WJYSWJJKHS WJYSWJJKHS
| URI | m2://inv/WJYSWJJKHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04323#NFT4 (statement). In 3Z0D2NCJ0B/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.12
WJYZR33TF7 WJYZR33TF7
| URI | m2://inv/WJYZR33TF7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.07061#IQ8Z (definition). In G2PA4KAGRP/e1, definition 3.9
History
- 2026-10-27: add by m2/v0.3.6
WJZ5QWKFTV WJZ5QWKFTV
| URI | m2://inv/WJZ5QWKFTV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02798#CYR1 (statement). In 446QW3DHTN/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Formula level WJZ74WPV9H
| URI | m2://inv/WJZ74WPV9H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independence-friendly logic#0XFD, Formula level (statement)
History
- 2026-11-02: add by m2/dev
Extensions WJZ8J2TN2S
| URI | m2://inv/WJZ8J2TN2S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tannakian formalism#Y0ZO, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Examples WJZ8XRQ7XA
| URI | m2://inv/WJZ8XRQ7XA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plesiohedron#DMPX, Examples (example)
History
- 2026-11-02: add by m2/dev
Jim Matheson WJZHC66KYB
| URI | m2://inv/WJZHC66KYB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#8M05, Jim Matheson (unknown)
History
- 2026-11-02: add by m2/dev
Applications WJZKJ89NVR
| URI | m2://inv/WJZKJ89NVR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quartic function#NSU0, Applications (example)
History
- 2026-11-02: add by m2/dev
The semigroup transfer for small categories WJZSFDE838
| URI | m2://inv/WJZSFDE838 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#GN5J, The semigroup transfer for small categories (statement). In TC5QA4AB4Z/e1, proposition 3.27
History
- 2026-10-30: add by m2/v0.4.12