Inventory rows SY

Cauchy's evaluation formula SY033YQAXM

URI	`m2://inv/SY033YQAXM`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Function of several complex variables#T3WW, Cauchy's evaluation formula (statement)

History

2026-11-02: add by m2/dev

Examples SY0CW6S48X

URI	`m2://inv/SY0CW6S48X`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Word metric#QWK2, Examples (example)

History

2026-11-02: add by m2/dev

SY0H2XW2QK SY0H2XW2QK

URI	`m2://inv/SY0H2XW2QK`
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 2610.15593#G8C0 (statement). In PREJREM4BB/e1, proposition 3.15

History

2026-10-28: add by m2/v0.4.2

S-construction SY0NFKNB0K

URI	`m2://inv/SY0NFKNB0K`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Waldhausen category#3Q9R, S-construction (unknown)

History

2026-11-02: add by m2/dev

SY0PJCFCZZ SY0PJCFCZZ

URI	`m2://inv/SY0PJCFCZZ`
Kind	statement
Layer	research
MSC	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.15037#QDNE (statement). In 9XCA9T80GJ/e1, lemma 4.2.1

History

2026-10-28: add by m2/v0.4.2

Matrix regularization SY0SAS60SA

URI	`m2://inv/SY0SAS60SA`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Matrix regularization, Matrix regularization (definition). Also Wikidata Q25048644

History

2026-11-02: add by m2/dev

Positivity of $\kappa_s(U,T)-\kappa_s(W,T\cap W)$ SY0X231JZR

URI	`m2://inv/SY0X231JZR`
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.40252#Q9JX, Positivity of $\kappa_s(U,T)-\kappa_s(W,T\cap W)$ (statement). In 7MVPNFPRKB/e1, lemma 8.3

History

2026-10-30: add by m2/v0.4.12

SY0X8HN43W SY0X8HN43W

URI	`m2://inv/SY0X8HN43W`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/topology/metric-prop.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 99.5

History

2026-11-01: add by m2/v0.6.13

Theorem SY0ZF9Y036

URI	`m2://inv/SY0ZF9Y036`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Cayley configuration space#1SWQ, Theorem (statement)

History

2026-11-02: add by m2/dev

SY0ZQ7CB5D SY0ZQ7CB5D

URI	`m2://inv/SY0ZQ7CB5D`
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.29949#2FR7 (statement)

History

2026-11-01: add by m2/v0.6.15

SY10CZVTPR SY10CZVTPR

URI	`m2://inv/SY10CZVTPR`
Kind	statement
Layer	research
MSC	30-XX, 32-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.09379#PX4G (statement). In DJXA86KDY8/e1, lemma 3.3

History

2026-10-27: add by m2/v0.3.5

Essential dimension SY15DF3Q4T

URI	`m2://inv/SY15DF3Q4T`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Essential dimension, Essential dimension (definition). Also Wikidata Q5399569

History

2026-11-02: add by m2/dev

Examples SY15KWQR2T

URI	`m2://inv/SY15KWQR2T`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Weak order unit#I2T5, Examples (example)

History

2026-11-02: add by m2/dev

SY15YVCARX SY15YVCARX

URI	`m2://inv/SY15YVCARX`
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 2306.00212#LUY7 (statement). In C9GG9C1X65/e1, lemma 19

History

2026-10-27: add by m2/v0.3.5

Fenchel's theorem SY18GH6RRY

URI	`m2://inv/SY18GH6RRY`
Kind	statement
Layer	textbook
MSC	53-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q5443004, Fenchel's theorem (statement). Also Wikidata Q5443004
thousand_plus: thousand_plus Q5443004, Fenchel's theorem (statement). Also Wikidata Q5443004, Wikipedia Fenchel's theorem
wikipedia: Wikipedia Fenchel's theorem, Fenchel's theorem (statement). Also Wikidata Q5443004

History

2026-10-26: add by m2/dev

SY1FV5APQ9 SY1FV5APQ9

URI	`m2://inv/SY1FV5APQ9`
Kind	statement
Layer	research
MSC	11-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 2609.28141#AAEK (statement)

History

2026-11-01: add by m2/v0.6.15

SY1G9MW42P SY1G9MW42P

URI	`m2://inv/SY1G9MW42P`
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.19309#TBA0 (statement). In XKENQH35DW/e1, lemma 5.3

History

2026-10-28: add by m2/v0.4.2

SY1QXPCFRD SY1QXPCFRD

URI	`m2://inv/SY1QXPCFRD`
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 2609.23470#FDLU (statement)

History

2026-11-02: add by m2/v0.6.17

SY1TDA54W8 SY1TDA54W8

URI	`m2://inv/SY1TDA54W8`
Kind	statement
Layer	research
MSC	35-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 2610.11968#UY7H (statement). In X6E7P2ACAS/e1, proposition 3.5

History

2026-10-28: add by m2/v0.4.3

Examples SY1VW69GN6

URI	`m2://inv/SY1VW69GN6`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Abelian category#KWE6, Examples (example)

History

2026-11-02: add by m2/dev

A shared window can be forced to keep the prefix SY22W4RGZC

URI	`m2://inv/SY22W4RGZC`
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.15543#W3K4, A shared window can be forced to keep the prefix (statement). In TQSHQZFCS5/e1, proposition G.2

History

2026-10-28: add by m2/v0.4.2

SY29F1A30C SY29F1A30C

URI	`m2://inv/SY29F1A30C`
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.17720#VCBI (statement). In QPM0GQYNZ9/e1, lemma 8.1

History

2026-10-28: add by m2/v0.4.2

Hidato SY2G1Y9MWW

URI	`m2://inv/SY2G1Y9MWW`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hidato, Hidato (definition). Also Wikidata Q1659478

History

2026-11-02: add by m2/dev

SY2Q6T9ZY0 SY2Q6T9ZY0

URI	`m2://inv/SY2Q6T9ZY0`
Kind	statement
Layer	research
MSC	11-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.18226#75A0 (statement). In B3EHT1FRM5/e1, lemma 3.5

History

2026-10-28: add by m2/v0.4.2

The invariant-quartic space is exactly $5$-dimensional SY2RQ8GJSP

URI	`m2://inv/SY2RQ8GJSP`
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.25120#H7TR, The invariant-quartic space is exactly $5$-dimensional (statement)

History

2026-11-01: add by m2/v0.6.15

SY2VB9RF3B SY2VB9RF3B

URI	`m2://inv/SY2VB9RF3B`
Kind	statement
Layer	research
MSC	17-XX, 55-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.17482#2UX5 (statement). In BQQK9JDJ9F/e1, lemma 5.2

History

2026-10-28: add by m2/v0.4.2

Mathematical modelling of infectious disease SY2ZAMSR97

URI	`m2://inv/SY2ZAMSR97`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#ZT9Z, Mathematical modelling of infectious disease (definition)

History

2026-11-02: add by m2/dev

SY31G4QXYT SY31G4QXYT

URI	`m2://inv/SY31G4QXYT`
Kind	example
Layer	research
MSC	16-XX, 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 2210.17066#ETM4 (example). In X2AEJAQEP8/e1, example 2.10

History

2026-10-27: add by m2/v0.3.5

Formal definition SY364N6QWA

URI	`m2://inv/SY364N6QWA`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Plancherel theorem#3BXY, Formal definition (definition)

History

2026-11-02: add by m2/dev

SY3H20WRQM SY3H20WRQM

URI	`m2://inv/SY3H20WRQM`
Kind	example
Layer	research
MSC	05-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 2401.13523#VTKT (example). In DDA62XQTWW/e1, example 2.4

History

2026-10-27: add by m2/v0.3.5

SY3P23KN3A SY3P23KN3A

URI	`m2://inv/SY3P23KN3A`
Kind	definition
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 2609.33231#12UE (definition). In WPDRT63QNW/e1, definition 2.1

History

2026-10-30: add by m2/v0.4.12

SY3X7M4MBR SY3X7M4MBR

URI	`m2://inv/SY3X7M4MBR`
Kind	example
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 2405.02275#S317 (example). In 1QXCNGRWV1/e1, example 3.3

History

2026-10-27: add by m2/v0.3.5

Vadim G. Vizing SY3ZQBQYVC

URI	`m2://inv/SY3ZQBQYVC`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Vadim G. Vizing, Vadim G. Vizing (topic). Also Wikidata Q950645

History

2026-11-02: add by m2/dev

Marc Thomas SY48ZP46RB

URI	`m2://inv/SY48ZP46RB`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Marc Thomas (computer scientist), Marc Thomas (topic). Also Wikidata Q6755916

History

2026-11-02: add by m2/dev

Properties SY4HHH4G0A

URI	`m2://inv/SY4HHH4G0A`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hypocycloid#N2EC, Properties (statement)

History

2026-11-02: add by m2/dev

Common restriction to the base field SY4JP4W59M

URI	`m2://inv/SY4JP4W59M`
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 2609.30301#LTPR, Common restriction to the base field (statement). In 7NS75J7HAM/e1, lemma 3.6

History

2026-10-31: add by m2/v0.5.6

SY4K7F07K9 SY4K7F07K9

URI	`m2://inv/SY4K7F07K9`
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.26477#6XI0 (statement)
arxiv: arXiv 2609.26500#2DXJ (statement)

History

2026-11-01: add by m2/v0.6.15

SY4NJND8HK SY4NJND8HK

URI	`m2://inv/SY4NJND8HK`
Kind	definition
Layer	research
MSC	17-XX, 20-XX, 22-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 2302.05529#C7WA (definition). In 9VPMHV0M4R/e1, definition 1.2

History

2026-10-31: add by m2/v0.5.6

SY4QZYB4W0 SY4QZYB4W0

URI	`m2://inv/SY4QZYB4W0`
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 2610.17717#WJ9P (statement). In YXRKS451PK/e1, theorem 1.1

History

2026-10-28: add by m2/v0.4.2

SY4W3TXW0M SY4W3TXW0M

URI	`m2://inv/SY4W3TXW0M`
Kind	statement
Layer	research
MSC	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.21533#PUM7 (statement). In N3Z6JFEPCF/e1, theorem 3.3

History

2026-10-27: add by m2/v0.4.2

SY4W3ZWBAE SY4W3ZWBAE

URI	`m2://inv/SY4W3ZWBAE`
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 2007.14459#JEJU (statement). In SGQ7VFEZ22/e1, proposition 3.8

History

2026-10-27: add by m2/v0.3.5

Karl Menninger SY4WSAAZYY

URI	`m2://inv/SY4WSAAZYY`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Karl Menninger (mathematics), Karl Menninger (topic). Also Wikidata Q91652

History

2026-11-02: add by m2/dev

SY53XBJMTE SY53XBJMTE

URI	`m2://inv/SY53XBJMTE`
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.20416#8CT4 (statement). In P603M3M91A/e1, lemma 5.4

History

2026-10-27: add by m2/v0.4.2

Generalized variable-length integers SY5C5E139A

URI	`m2://inv/SY5C5E139A`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Numeral system#3FGU, Generalized variable-length integers (unknown)

History

2026-11-02: add by m2/dev

Cross interactions for exponential sums SY5JHR36M3

URI	`m2://inv/SY5JHR36M3`
Kind	statement
Layer	research
MSC	49-XX, 65-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.34025#FSBX, Cross interactions for exponential sums (statement). In VCG579E7MM/e1, lemma 7

History

2026-10-30: add by m2/v0.4.12

SY5MHG3YC2 SY5MHG3YC2

URI	`m2://inv/SY5MHG3YC2`
Kind	statement
Layer	research
MSC	35-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.24465#B6D0 (statement)

History

2026-11-01: add by m2/v0.6.15

Theorem SY5N541SJ2

URI	`m2://inv/SY5N541SJ2`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Happy ending problem#K7W0, Theorem (statement)

History

2026-11-02: add by m2/dev

Tensor-factor extraction SY5N5KYVB5

URI	`m2://inv/SY5N5KYVB5`
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.00364#5NQ1, Tensor-factor extraction (statement). In ANR3DHYQPQ/e1, lemma

History

2026-10-30: add by m2/v0.4.12

SY5SHRGHY2 SY5SHRGHY2

URI	`m2://inv/SY5SHRGHY2`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-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.01498#HIK7 (statement). In 75GDSC8460/e1, lemma 2.2

History

2026-10-29: add by m2/v0.4.12

SY5T0AT54Z SY5T0AT54Z

URI	`m2://inv/SY5T0AT54Z`
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.10474#J5KZ (statement). In MB29RAAQMG/e1, lemma 3.5

History

2026-10-29: add by m2/v0.4.10

Inverse Jacobi elliptic functions SY60GSAP9D

URI	`m2://inv/SY60GSAP9D`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Jacobi elliptic functions#7H2E, Inverse Jacobi elliptic functions (unknown)

History

2026-11-02: add by m2/dev

SY6AFBTPKY SY6AFBTPKY

URI	`m2://inv/SY6AFBTPKY`
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.20126#E6C0 (statement). In KVXDWX9B11/e1, corollary 2.2

History

2026-10-27: add by m2/v0.4.2

SY6PPE5YRS SY6PPE5YRS

URI	`m2://inv/SY6PPE5YRS`
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 2504.14383#QZIY (statement). In QD0X3XJS6T/e1, theorem 4.7

History

2026-10-27: add by m2/v0.3.5

Moderated mediation SY73N5AJ32

URI	`m2://inv/SY73N5AJ32`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Moderated mediation, Moderated mediation (definition). Also Wikidata Q17086331

History

2026-11-02: add by m2/dev

Cor.\ 4.16 SY75DS3E69

URI	`m2://inv/SY75DS3E69`
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#VOAR, Cor.\ 4.16 (statement). In 1QSCT53ZED/e1, lemma 8.4

History

2026-10-27: add by m2/v0.4.0

SY79ZC8VPN SY79ZC8VPN

URI	`m2://inv/SY79ZC8VPN`
Kind	statement
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 2609.21052#ZYZA (statement)

History

2026-11-02: add by m2/v0.6.18

Example SY7JBHVJ8F

URI	`m2://inv/SY7JBHVJ8F`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Binomial transform#W3E6, Example (example)

History

2026-11-02: add by m2/dev

SY7K5Z19PD SY7K5Z19PD

URI	`m2://inv/SY7K5Z19PD`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-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.05146#Q0HD (statement). In 63MJS935N4/e1, proposition 4.6

History

2026-10-29: add by m2/v0.4.10

SY7YKJPZAA SY7YKJPZAA

URI	`m2://inv/SY7YKJPZAA`
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.06899#72XS (statement). In 5Z2K9JGFSS/e1, corollary 5.3

History

2026-10-29: add by m2/v0.4.10

Integral bounds on thin domains SY7YQC4XD9

URI	`m2://inv/SY7YQC4XD9`
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 2609.22513#ZYCV, Integral bounds on thin domains (statement)

History

2026-11-02: add by m2/v0.6.17

SY7ZA3P8YS SY7ZA3P8YS

URI	`m2://inv/SY7ZA3P8YS`
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#KIJ4 (example). In 9ZSNSJRJ5N/e1, example 31

History

2026-10-27: add by m2/v0.4.2

SY82PF74EK SY82PF74EK

URI	`m2://inv/SY82PF74EK`
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.03449#458R (statement). In 3XM05SYQ8D/e1, proposition 2.1

History

2026-10-29: add by m2/v0.4.12

SY82SJGK8M SY82SJGK8M

URI	`m2://inv/SY82SJGK8M`
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.34852#YVEZ (statement). In TZXEMCBK5V/e1, lemma 7.11

History

2026-10-30: add by m2/v0.4.12

Crystal system SY83ASEWJJ

URI	`m2://inv/SY83ASEWJJ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Crystal system, Crystal system (definition). Also Wikidata Q898786

History

2026-11-02: add by m2/dev

Definition of a congruence subgroup SY84THNFX0

URI	`m2://inv/SY84THNFX0`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Congruence subgroup#K7ZP, Definition of a congruence subgroup (definition)

History

2026-11-02: add by m2/dev

SY89ZZWY5Q SY89ZZWY5Q

URI	`m2://inv/SY89ZZWY5Q`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book setmath.tex#cor-1 (statement). In N54F33XE07, cor, section C.2

History

2026-11-01: add by m2/v0.6.13

SY8CKWYC31 SY8CKWYC31

URI	`m2://inv/SY8CKWYC31`
Kind	conjecture
Layer	research
MSC	11-XX, 14-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 2104.12015#K35D (conjecture). In ZZ2P08DVQW/e1, conjecture 9.2

History

2026-10-27: add by m2/v0.3.5

SY8H9SVNQ8 SY8H9SVNQ8

URI	`m2://inv/SY8H9SVNQ8`
Kind	statement
Layer	research
MSC	05-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 2411.00562#I623 (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm

History

2026-10-27: add by m2/v0.3.5

SY8K9TBXBQ SY8K9TBXBQ

URI	`m2://inv/SY8K9TBXBQ`
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 2610.20376#9HIN (definition). In DGTCGQX6YZ/e1, definition 2.8

History

2026-10-27: add by m2/v0.4.2

Global reciprocal Morse--Smale locking SY8SKK0MA4

URI	`m2://inv/SY8SKK0MA4`
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.15686#KLOF, Global reciprocal Morse--Smale locking (statement). In 4HCK722M2G/e1, theorem D

History

2026-10-28: add by m2/v0.4.2

SY8SNF5BFS SY8SNF5BFS

URI	`m2://inv/SY8SNF5BFS`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-20 (exercise). In E9HS8K3A52, exercise, section 2.2.8

History

2026-11-01: add by m2/v0.6.13

SY8VXMSNM4 SY8VXMSNM4

URI	`m2://inv/SY8VXMSNM4`
Kind	conjecture
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.16514#LD0J (conjecture). In 7RSA1AZ4XK/e1, conjecture 1.2

History

2026-10-28: add by m2/v0.4.2

Coefficient extraction and support parity SY8Y3X3Z89

URI	`m2://inv/SY8Y3X3Z89`
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.09341#9RKW, Coefficient extraction and support parity (statement). In DSXBMRYE0V/e1, lemma A.3

History

2026-10-29: add by m2/v0.4.10

Edmund Ezra Day SY91E1VQ2D

URI	`m2://inv/SY91E1VQ2D`
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#2X6V, Edmund Ezra Day (unknown)

History

2026-11-02: add by m2/dev

SY91E7GJDC SY91E7GJDC

URI	`m2://inv/SY91E7GJDC`
Kind	definition
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#U4FR (definition). In A59MZ9H284/e1, definition 2.12

History

2026-10-30: add by m2/v0.4.12

Applications SY94Y2PPV0

URI	`m2://inv/SY94Y2PPV0`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Integrability conditions for differential systems#72B8, Applications (example)

History

2026-11-02: add by m2/dev

Polynomial phases on lattice cosets SY9EH646C0

URI	`m2://inv/SY9EH646C0`
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.00099#8IU3, Polynomial phases on lattice cosets (statement). In NNBY2AEHP4/e1, lemma 3.2

History

2026-10-30: add by m2/v0.4.12

Quasi-local mass SY9HJ96Z1H

URI	`m2://inv/SY9HJ96Z1H`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Mass in general relativity#C64I, Quasi-local mass (unknown)

History

2026-11-02: add by m2/dev

Noether Lecture SY9N4FBXMN

URI	`m2://inv/SY9N4FBXMN`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Noether Lecture, Noether Lecture (definition). Also Wikidata Q839260

History

2026-11-02: add by m2/dev

SY9ZDE87D5 SY9ZDE87D5

URI	`m2://inv/SY9ZDE87D5`
Kind	definition
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 2103.02468#ZHF8 (definition). In Q7C6G66CWM/e1, definition 2.6

History

2026-10-27: add by m2/v0.3.5

Yasha Asley SYA0Q27Y8E

URI	`m2://inv/SYA0Q27Y8E`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Yasha Asley, Yasha Asley (topic). Also Wikidata Q8049704

History

2026-11-02: add by m2/dev

consistency SYA32FTV69

URI	`m2://inv/SYA32FTV69`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1319773, consistency (unknown). Also MathWorld Consistency
wikipedia: Wikipedia Consistency, Consistency (definition). Also Wikidata Q1319773

History

2026-10-26: add by m2/dev

Paul Cohen SYABR5J80D

URI	`m2://inv/SYABR5J80D`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#ZY4A, Paul Cohen (topic)

History

2026-11-02: add by m2/dev

SYAJ1SN0SG SYAJ1SN0SG

URI	`m2://inv/SYAJ1SN0SG`
Kind	statement
Layer	research
MSC	05-XX, 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.33733#RTYR (statement). In QBAP8C82FG/e1, lemma 23

History

2026-10-30: add by m2/v0.4.12

SYAKNRK4T5 SYAKNRK4T5

URI	`m2://inv/SYAKNRK4T5`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-24 (exercise). In E9HS8K3A52, exercise, section 10.2.6

History

2026-11-01: add by m2/v0.6.13

simple type theory SYANAECA7M

URI	`m2://inv/SYANAECA7M`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of logic#9210, simple type theory (definition)

History

2026-11-02: add by m2/dev

Hardy–Littlewood maximal theorem SYATP6JF2P

URI	`m2://inv/SYATP6JF2P`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems#K2JU, Hardy–Littlewood maximal theorem (definition)

History

2026-11-02: add by m2/dev

SYB6TKNZTC SYB6TKNZTC

URI	`m2://inv/SYB6TKNZTC`
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.32174#ROR2 (statement). In GHKR740SG3/e1, theorem 17.3

History

2026-10-31: add by m2/v0.5.6

Statement of the inequality SYB8DHCQKG

URI	`m2://inv/SYB8DHCQKG`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Bessel's inequality#N2FC, Statement of the inequality (statement)

History

2026-11-02: add by m2/dev

Robbins lemma SYBEY9Y9SC

URI	`m2://inv/SYBEY9Y9SC`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Robbins lemma, Robbins lemma (statement). Also Wikidata Q7341068

History

2026-11-02: add by m2/dev

Pro-p group SYC0QJQ0K0

URI	`m2://inv/SYC0QJQ0K0`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Pro-p group, Pro-p group (definition). Also Wikidata Q7246615

History

2026-11-02: add by m2/dev

Example SYC1YQBT4A

URI	`m2://inv/SYC1YQBT4A`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Mediation (statistics)#EECM, Example (example)

History

2026-11-02: add by m2/dev

SYC2YV7YVT SYC2YV7YVT

URI	`m2://inv/SYC2YV7YVT`
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 2610.17571#QE3N (statement). In SWFN2HCEE7/e1, proposition 2.1

History

2026-10-28: add by m2/v0.4.2

SYC3AHQ8DY SYC3AHQ8DY

URI	`m2://inv/SYC3AHQ8DY`
Kind	statement
Layer	research
MSC	05-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 2610.22082#KMCU (statement). In 7PACGDW3N7/e1, corollary 4.2

History

2026-10-27: add by m2/v0.4.0

E-Unification SYC3X3N5CE

URI	`m2://inv/SYC3X3N5CE`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Unification (computer science)#ODSJ, E-Unification (unknown)

History

2026-11-02: add by m2/dev

Easy SYCPPHED5G

URI	`m2://inv/SYCPPHED5G`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise:LXYvs, Easy (exercise). In E59CDZA4DP, exercise, section 11.1.5

History

2026-11-01: add by m2/v0.6.13

Adjoint representation of a Lie group SYCSCPQRG8

URI	`m2://inv/SYCSCPQRG8`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Lie groups topics#T751, Adjoint representation of a Lie group (definition)

History

2026-11-02: add by m2/dev

Ngô Bảo Châu SYCYJ2W43F

URI	`m2://inv/SYCYJ2W43F`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#2K0V, Ngô Bảo Châu (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A9JU, Ngô Bảo Châu (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#N080, Ngô Bảo Châu (topic)

History

2026-11-02: add by m2/dev

Boldface hierarchy SYCZVQV4Q0

URI	`m2://inv/SYCZVQV4Q0`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Pointclass#APN2, Boldface hierarchy (unknown)

History

2026-11-02: add by m2/dev

quadratic reciprocity SYDAA2EBP1

URI	`m2://inv/SYDAA2EBP1`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	6
Outcome	node (a node has the same Wikidata item as the row)
Node	Law of quadratic reciprocity 085MJS6907

Mentions

mathlib_100: mathlib_100 7, Law of Quadratic Reciprocity (statement). Also Mathlib legendreSym.quadratic_reciprocity, Mathlib jacobiSym.quadratic_reciprocity
mathlib_1000: mathlib_1000 Q472883, Quadratic reciprocity theorem (statement). Also Mathlib legendreSym.quadratic_reciprocity, Mathlib jacobiSym.quadratic_reciprocity, Wikidata Q472883
mathlib_overview: mathlib_overview General algebra > Number theory > quadratic reciprocity, quadratic reciprocity (unknown). Also Mathlib legendreSym.quadratic_reciprocity
thousand_plus: thousand_plus Q472883, Quadratic reciprocity theorem (statement). Also Mathlib legendreSym.quadratic_reciprocity, Mathlib jacobiSym.quadratic_reciprocity, Wikidata Q472883, Wikipedia Quadratic reciprocity theorem
wikidata: Wikidata Q472883, quadratic reciprocity (statement). Also EoM Quadratic_reciprocity_law, MathWorld QuadraticReciprocityTheorem, nLab quadratic reciprocity law
wikipedia: Wikipedia Quadratic reciprocity, Quadratic reciprocity (definition). Also Wikidata Q472883

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

SYDDH5GPM0 SYDDH5GPM0

URI	`m2://inv/SYDDH5GPM0`
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.00144#OPHZ (statement). In HAZGBX88B3/e1, theorem 1

History

2026-10-30: add by m2/v0.4.12

Theorem SYDP2157YC

URI	`m2://inv/SYDP2157YC`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Brunn–Minkowski theorem#EE88, Theorem (statement)

History

2026-11-02: add by m2/dev

SYDSH1G2WW SYDSH1G2WW

URI	`m2://inv/SYDSH1G2WW`
Kind	example
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.00789#DQ6B (example). In 4WPYBTARS2/e1, example 2.36

History

2026-10-29: add by m2/v0.4.12

SYDWPMPTQ2 SYDWPMPTQ2

URI	`m2://inv/SYDWPMPTQ2`
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.12689#PHEA (statement). In AMXK11Y802/e1, proposition 4.2

History

2026-10-28: add by m2/v0.4.2

Sneakers SYDWR548DS

URI	`m2://inv/SYDWR548DS`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of films about mathematicians#PMRI, Sneakers (unknown)

History

2026-11-02: add by m2/dev

SYDZ7NQG84 SYDZ7NQG84

URI	`m2://inv/SYDZ7NQG84`
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 1709.08958#H3BR (statement). In H46J8XRDFJ/e1, fact 1.3.1

History

2026-10-27: add by m2/v0.3.5

Best reply SYDZB1NDMY

URI	`m2://inv/SYDZB1NDMY`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of game theory#3AJ7, Best reply (definition)

History

2026-11-02: add by m2/dev

SYE0742RG4 SYE0742RG4

URI	`m2://inv/SYE0742RG4`
Kind	statement
Layer	research
MSC	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.06806#IZ48 (statement). In ZZQT0GFMT2/e1, lemma 2.10

History

2026-10-29: add by m2/v0.4.10

SYE1TCAV02 SYE1TCAV02

URI	`m2://inv/SYE1TCAV02`
Kind	statement
Layer	research
MSC	11-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 2609.33590#HXK8 (statement). In WRE0P7V6Z3/e1, theorem D.3

History

2026-10-30: add by m2/v0.4.12

Polynomial-Time Inner SID Syndrome SYE7CS4SV3

URI	`m2://inv/SYE7CS4SV3`
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.37578#9TOU, Polynomial-Time Inner SID Syndrome (statement). In D7NDCWSDJE/e1, theorem 5

History

2026-10-30: add by m2/v0.4.12

SYEDMJSC9T SYEDMJSC9T

URI	`m2://inv/SYEDMJSC9T`
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.12683#GZUS (statement). In N5ZFFWV3RX/e1, lemma 5.8

History

2026-10-28: add by m2/v0.4.2

Alain-Sol Sznitman SYEDX9HN9R

URI	`m2://inv/SYEDX9HN9R`
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#KLMT, Alain-Sol Sznitman (topic)

History

2026-11-02: add by m2/dev

Uses SYEE0VVCBH

URI	`m2://inv/SYEE0VVCBH`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Divisia index#KK4K, Uses (example)

History

2026-11-02: add by m2/dev

Examples SYEFZC7XBR

URI	`m2://inv/SYEFZC7XBR`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Random field#1I20, Examples (example)

History

2026-11-02: add by m2/dev

Example SYEHE4EZYA

URI	`m2://inv/SYEHE4EZYA`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Frobenius method#OM6V, Example (example)

History

2026-11-02: add by m2/dev

Euclidean topology SYEJ0X14HV

URI	`m2://inv/SYEJ0X14HV`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q2118078, Euclidean topology (unknown). Also MathWorld EuclideanTopology, nLab Euclidean topology
wikipedia: Wikipedia Euclidean topology, Euclidean topology (definition). Also Wikidata Q2118078

History

2026-10-26: add by m2/dev

Definition SYESPN5GY1

URI	`m2://inv/SYESPN5GY1`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Weakly holomorphic modular form#ZQGY, Definition (definition)

History

2026-11-02: add by m2/dev

Châtelet surface SYFMDVEFW4

URI	`m2://inv/SYFMDVEFW4`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of complex and algebraic surfaces#YL78, Châtelet surface (definition)

History

2026-11-02: add by m2/dev

SYFR6Y1PT2 SYFR6Y1PT2

URI	`m2://inv/SYFR6Y1PT2`
Kind	statement
Layer	research
MSC	14-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.10147#DCVL (statement). In WZWGAG2FSN/e1, lemma 5.2

History

2026-10-29: add by m2/v0.4.10

Philip Bond SYFYMAY6V6

URI	`m2://inv/SYFYMAY6V6`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Philip Bond (mathematician), Philip Bond (topic). Also Wikidata Q138537337

History

2026-11-02: add by m2/dev

Examples SYG0H9624C

URI	`m2://inv/SYG0H9624C`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Normal cone (variational analysis)#O7ZT, Examples (example)

History

2026-11-02: add by m2/dev

Examples of orthogonal polynomials SYGC132ZYX

URI	`m2://inv/SYGC132ZYX`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Orthogonal polynomials#CJTP, Examples of orthogonal polynomials (example)

History

2026-11-02: add by m2/dev

SYGCXZMD4A SYGCXZMD4A

URI	`m2://inv/SYGCXZMD4A`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/model-theory/basics/partial-iso.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 46.5

History

2026-11-01: add by m2/v0.6.13

Kan–Thurston theorem SYGGRR3TA1

URI	`m2://inv/SYGGRR3TA1`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q96385278, Kan–Thurston theorem (statement). Also nLab Kan-Thurston theorem

History

2026-10-26: add by m2/dev

Examples SYGHEJ4312

URI	`m2://inv/SYGHEJ4312`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Foliation#CXYR, Examples (example)

History

2026-11-02: add by m2/dev

König's lemma SYGY53WANN

URI	`m2://inv/SYGY53WANN`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1059182, König's lemma (statement). Also MathWorld KoenigsLemma
wikipedia: Wikipedia Kőnig's lemma, Kőnig's lemma (statement). Also Wikidata Q1059182

History

2026-10-26: add by m2/dev

Example 1 SYH7FAG4S5

URI	`m2://inv/SYH7FAG4S5`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Aitken's delta-squared process#C7B0, Example 1 (example)

History

2026-11-02: add by m2/dev

The $23$-point case SYHC901K5F

URI	`m2://inv/SYHC901K5F`
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.25120#9092, The $23$-point case (statement)

History

2026-11-01: add by m2/v0.6.15

\textsf{Uniform covariance envelope SYHFX4GTBD

URI	`m2://inv/SYHFX4GTBD`
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.09404#LF6G, \textsf{Uniform covariance envelope (statement). In D7CZZ48FRN/e1, lemma 6.1

History

2026-10-29: add by m2/v0.4.10

Kahler group SYHM02S6V6

URI	`m2://inv/SYHM02S6V6`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Kähler manifold#OYZ6, Kahler group (unknown)

History

2026-11-02: add by m2/dev

SYHW7SR4KD SYHW7SR4KD

URI	`m2://inv/SYHW7SR4KD`
Kind	definition
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.40207#UOAR (definition). In JXTG8KP95P/e1, definition 6.10

History

2026-10-30: add by m2/v0.4.12

Properties SYHZA7JQ94

URI	`m2://inv/SYHZA7JQ94`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Davenport constant#BPP1, Properties (statement)

History

2026-11-02: add by m2/dev

gyroelongated triangular cupola SYJ1WXBSJZ

URI	`m2://inv/SYJ1WXBSJZ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1260134, gyroelongated triangular cupola (object). Also MathWorld GyroelongatedTriangularCupola
wikipedia: Wikipedia Gyroelongated triangular cupola, Gyroelongated triangular cupola (definition). Also Wikidata Q1260134

History

2026-10-26: add by m2/dev

SYJJ4AFDHR SYJJ4AFDHR

URI	`m2://inv/SYJJ4AFDHR`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#prop-6 (statement). In E59CDZA4DP, prop, section 2.4.3

History

2026-11-01: add by m2/v0.6.13

SYJNN79SZS SYJNN79SZS

URI	`m2://inv/SYJNN79SZS`
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 2108.03672#H93R (statement). In EZZSZ1F071/e1, lemma 3.16

History

2026-10-27: add by m2/v0.4.0

Existence and a uniqueness criterion SYJXHJNKV3

URI	`m2://inv/SYJXHJNKV3`
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 2609.37479#9E3V, Existence and a uniqueness criterion (statement). In P3RTT99C41/e1, lemma C.4

History

2026-10-30: add by m2/v0.4.12

RSA-340 SYK22VYBW6

URI	`m2://inv/SYK22VYBW6`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia RSA numbers#YT07, RSA-340 (unknown)

History

2026-11-02: add by m2/dev

SYK4E15MRR SYK4E15MRR

URI	`m2://inv/SYK4E15MRR`
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.02535#8E1V (statement). In S26PXDSWM9/e1, proposition 3.2

History

2026-10-29: add by m2/v0.4.12

SYK5QT4GW9 SYK5QT4GW9

URI	`m2://inv/SYK5QT4GW9`
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.31274#HPVD (statement). In RK0ZMDJ23T/e1, lemma 2.3.4

History

2026-10-31: add by m2/v0.5.6

SYK7R54QPZ SYK7R54QPZ

URI	`m2://inv/SYK7R54QPZ`
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.36181#WF1A (statement). In 1KSE33PVS6/e1, corollary 87

History

2026-10-30: add by m2/v0.4.12

SYK9H41FTJ SYK9H41FTJ

URI	`m2://inv/SYK9H41FTJ`
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 2607.26169#JCZ1 (statement). In Q46QV3B0NF/e1, lemma 6.1

History

2026-10-27: add by m2/v0.3.5

SYKD5J399Y SYKD5J399Y

URI	`m2://inv/SYKD5J399Y`
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.18358#015T (statement). In SPZ446XNDW/e1, proposition 4.2

History

2026-10-28: add by m2/v0.4.2

Examples SYKPERH63F

URI	`m2://inv/SYKPERH63F`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Vorticity#E1W1, Examples (example)

History

2026-11-02: add by m2/dev

mathematics, classical SYKX4JK47R

URI	`m2://inv/SYKX4JK47R`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book index/9.3/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section 9.3

History

2026-11-01: add by m2/v0.6.13

SYM16K5KXE SYM16K5KXE

URI	`m2://inv/SYM16K5KXE`
Kind	definition
Layer	research
MSC	14-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 2609.36884#6B89 (definition). In Z7E16PFFCP/e1, definition 3.7

History

2026-10-30: add by m2/v0.4.12

SYM5BA42PA SYM5BA42PA

URI	`m2://inv/SYM5BA42PA`
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.06544#AHKZ (statement). In VCRB27RMN6/e1, proposition 8.1

History

2026-10-29: add by m2/v0.4.10

Haskell Curry SYM773BHEB

URI	`m2://inv/SYM773BHEB`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical logic topics#CVY6, Haskell Curry (topic)

History

2026-11-02: add by m2/dev

Ascertainment bias SYMA4ZAJK8

URI	`m2://inv/SYMA4ZAJK8`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#5JVD, Ascertainment bias (definition)

History

2026-11-02: add by m2/dev

Pitot theorem SYMQ71YCFS

URI	`m2://inv/SYMQ71YCFS`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q2310718, Pitot theorem (statement). Also Wikidata Q2310718
thousand_plus: thousand_plus Q2310718, Pitot theorem (statement). Also Wikidata Q2310718, Wikipedia Pitot theorem
wikipedia: Wikipedia Pitot theorem, Pitot theorem (statement). Also Wikidata Q2310718

History

2026-10-26: add by m2/dev

Fuhrmann's theorem SYMRWXS7RD

URI	`m2://inv/SYMRWXS7RD`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q24957190, Fuhrmann's theorem (statement). Also MathWorld FuhrmannsTheorem

History

2026-10-26: add by m2/dev

Routh's theorem SYMS3Y5M0B

URI	`m2://inv/SYMS3Y5M0B`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	4
Outcome	open
Node	Routh's theorem VWQQY7NFED

Mentions

mathlib_1000: mathlib_1000 Q1789863, Routh's theorem (statement). Also Wikidata Q1789863
thousand_plus: thousand_plus Q1789863, Routh's theorem (statement). Also Wikidata Q1789863, Wikipedia Routh's theorem
wikidata: Wikidata Q1789863, Routh's theorem (statement). Also MathWorld RouthsTheorem
wikipedia: Wikipedia Routh's theorem, Routh's theorem (statement). Also Wikidata Q1789863

History

2026-10-26: add by m2/dev

H\"older continuity SYMTCN6554

URI	`m2://inv/SYMTCN6554`
Kind	definition
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.26581#YUG1, H\"older continuity (definition)

History

2026-11-01: add by m2/v0.6.15

The highest logarithmic coefficient SYMXFVT5CY

URI	`m2://inv/SYMXFVT5CY`
Kind	statement
Layer	research
MSC	14-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.10828#CY9K, The highest logarithmic coefficient (statement). In 8PTDFHV8SQ/e1, corollary 14.15

History

2026-10-28: add by m2/v0.4.3

Mary E. Thompson SYMYS09R7X

URI	`m2://inv/SYMYS09R7X`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Mary E. Thompson, Mary E. Thompson (topic). Also Wikidata Q44304930

History

2026-11-02: add by m2/dev

Uncertainty quantification SYN59JRGEY

URI	`m2://inv/SYN59JRGEY`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Uncertainty quantification, Uncertainty quantification (definition). Also Wikidata Q7882499

History

2026-11-02: add by m2/dev

SYN5P6HS72 SYN5P6HS72

URI	`m2://inv/SYN5P6HS72`
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 2609.29489#BS63 (statement)

History

2026-11-01: add by m2/v0.6.15

Avner Friedman SYN6GN6WF2

URI	`m2://inv/SYN6GN6WF2`
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 Q4231796, Avner Friedman (unknown). Also ProofWiki Mathematician:Avner_Friedman
wikipedia: Wikipedia Avner Friedman, Avner Friedman (topic). Also Wikidata Q4231796

History

2026-10-26: add by m2/dev

SYNGB64CCC SYNGB64CCC

URI	`m2://inv/SYNGB64CCC`
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.12908#QCLW (statement). In TNC658NVMQ/e1, theorem 7.12

History

2026-10-28: add by m2/v0.4.2

Iterative learning control SYNJ5XEBAG

URI	`m2://inv/SYNJ5XEBAG`
Kind	definition
Layer	textbook
MSC	93B47
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q6094414, Iterative learning control (topic)
wikipedia: Wikipedia Iterative learning control, Iterative learning control (definition). Also Wikidata Q6094414

History

2026-10-26: add by m2/dev

SYNJ7HWKXC SYNJ7HWKXC

URI	`m2://inv/SYNJ7HWKXC`
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.21680#3K6V (statement)

History

2026-11-02: add by m2/v0.6.18

Mathematical exposure modeling SYNQ3PYA8T

URI	`m2://inv/SYNQ3PYA8T`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Mathematical exposure modeling, Mathematical exposure modeling (definition). Also Wikidata Q6786851

History

2026-11-02: add by m2/dev

Leech lattice SYNQVBEAE9

URI	`m2://inv/SYNQVBEAE9`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Leech lattice XETV3657DG

Mentions

wikidata: Wikidata Q2510203, Leech lattice (concept). Also MathWorld LeechLattice, nLab Leech lattice
wikipedia: Wikipedia Leech lattice, Leech lattice (definition). Also Wikidata Q2510203

History

2026-10-26: add by m2/dev

Ramanujan SYNT57SSCN

URI	`m2://inv/SYNT57SSCN`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of graph theory#AA0X, Ramanujan (definition)

History

2026-11-02: add by m2/dev

SYNXN5TKJA SYNXN5TKJA

URI	`m2://inv/SYNXN5TKJA`
Kind	conjecture
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.16245#ICJK (conjecture). In 60CQJN845D/e1, conjecture 5

History

2026-10-28: add by m2/v0.4.2

SYNZFH2ZFN SYNZFH2ZFN

URI	`m2://inv/SYNZFH2ZFN`
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 2609.40096#X3FQ (statement). In XFE35F9NEV/e1, proposition 2.16

History

2026-10-30: add by m2/v0.4.12

SYP0GZKZPF SYP0GZKZPF

URI	`m2://inv/SYP0GZKZPF`
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#U2LR (statement). In GXHKRV5BPY/e1, fact 2.13

History

2026-10-29: add by m2/v0.4.10

Desmoothing error SYP3Z6FPH3

URI	`m2://inv/SYP3Z6FPH3`
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.24675#QHOC, Desmoothing error (statement)

History

2026-11-01: add by m2/v0.6.15

SYP58F39M6 SYP58F39M6

URI	`m2://inv/SYP58F39M6`
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 2610.07001#GQMG (statement). In 5DFTVG7FFF/e1, theorem 5.2

History

2026-10-29: add by m2/v0.4.10

Unary function SYPE9N74QC

URI	`m2://inv/SYPE9N74QC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of first-order theories#Z7FI, Unary function (definition)

History

2026-11-02: add by m2/dev

Properties SYPHTSYFPA

URI	`m2://inv/SYPHTSYFPA`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Refinable function#NEPZ, Properties (statement)

History

2026-11-02: add by m2/dev

Remark SYPP2AESFB

URI	`m2://inv/SYPP2AESFB`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Zorn's lemma#EMBV, Remark (unknown)

History

2026-11-02: add by m2/dev

Properties SYPQ82PGKN

URI	`m2://inv/SYPQ82PGKN`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Bound state#HR32, Properties (statement)

History

2026-11-02: add by m2/dev

Constructions SYPWKCY4DR

URI	`m2://inv/SYPWKCY4DR`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Conformal loop ensemble#0OPH, Constructions (definition)

History

2026-11-02: add by m2/dev

SYQ2FR08MQ SYQ2FR08MQ

URI	`m2://inv/SYQ2FR08MQ`
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 2609.36309#9UYN (statement). In FAJ10EJMYE/e1, lemma 7

History

2026-10-30: add by m2/v0.4.12

SYQ4N53QCQ SYQ4N53QCQ

URI	`m2://inv/SYQ4N53QCQ`
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.40191#8HQW (statement). In F0D8VSM4Z4/e1, lemma 2.2

History

2026-10-30: add by m2/v0.4.12

Asymptotology SYQ5H369Z1

URI	`m2://inv/SYQ5H369Z1`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Asymptotology, Asymptotology (definition). Also Wikidata Q3140874

History

2026-11-02: add by m2/dev

Generalizations SYQ96K0KDB

URI	`m2://inv/SYQ96K0KDB`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Gelfand–Naimark–Segal construction#UL8W, Generalizations (statement)

History

2026-11-02: add by m2/dev

Platonic number SYQD1D79FF

URI	`m2://inv/SYQD1D79FF`
Kind	object
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q116735720, Platonic number (object). Also OEIS A053012

History

2026-10-26: add by m2/dev

Heiner Zieschang SYQF3ZXWMC

URI	`m2://inv/SYQF3ZXWMC`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of German mathematicians#3WYE, Heiner Zieschang (topic)

History

2026-11-02: add by m2/dev

Hazel Perfect SYQJ53MW2R

URI	`m2://inv/SYQJ53MW2R`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#ZJYS, Hazel Perfect (topic)

History

2026-11-02: add by m2/dev

Generalized continuum hypothesis SYQKBNXR2B

URI	`m2://inv/SYQKBNXR2B`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#W7GK, Generalized continuum hypothesis (statement)

History

2026-11-02: add by m2/dev

Heyting field SYQMBHXNYR

URI	`m2://inv/SYQMBHXNYR`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Heyting field, Heyting field (definition). Also Wikidata Q5749811

History

2026-11-02: add by m2/dev

Ryll-Nardzewski SYQMTW18TW

URI	`m2://inv/SYQMTW18TW`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of functional analysis#RKL7, Ryll-Nardzewski (definition)

History

2026-11-02: add by m2/dev

Hardy space SYQSNYGF8Y

URI	`m2://inv/SYQSNYGF8Y`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#DYAH, Hardy space (definition)

History

2026-11-02: add by m2/dev

Language, Truth, and Logic SYQSZDC6GW

URI	`m2://inv/SYQSZDC6GW`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Language, Truth, and Logic, Language, Truth, and Logic (definition). Also Wikidata Q1431691

History

2026-11-02: add by m2/dev

SYR35TTPEG SYR35TTPEG

URI	`m2://inv/SYR35TTPEG`
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.22825#LCMF (statement)

History

2026-11-02: add by m2/v0.6.17

Samuel Dickstein SYR41Z31P5

URI	`m2://inv/SYR41Z31P5`
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#3V8P, Samuel Dickstein (topic)

History

2026-11-02: add by m2/dev

disjunctive SYR6MSS998

URI	`m2://inv/SYR6MSS998`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of invariant theory#L1L4, disjunctive (definition)

History

2026-11-02: add by m2/dev

Identity type SYRYVX478D

URI	`m2://inv/SYRYVX478D`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Identity type, Identity type (statement). Also Wikidata Q110720714

History

2026-11-02: add by m2/dev

SYS5EC13K3 SYS5EC13K3

URI	`m2://inv/SYS5EC13K3`
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.28118#2H9P (statement)

History

2026-11-01: add by m2/v0.6.15

Exponential map SYSF7HVM2Z

URI	`m2://inv/SYSF7HVM2Z`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Exponential map (Riemannian geometry), Exponential map (definition). Also Wikidata Q1384674

History

2026-11-02: add by m2/dev

SYSWM3KX56 SYSWM3KX56

URI	`m2://inv/SYSWM3KX56`
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 1512.06981#HBJQ (statement). In X923ZEY423/e1, lemma 2.0.4

History

2026-10-27: add by m2/v0.3.5

SYT0S4ERM6 SYT0S4ERM6

URI	`m2://inv/SYT0S4ERM6`
Kind	definition
Layer	research
MSC	18-XX, 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 1912.02769#WIYV (definition). In JH7VQ2EC16/e1, definition 2.9

History

2026-10-27: add by m2/v0.3.5

Lévy's continuity theorem SYT6120WS1

URI	`m2://inv/SYT6120WS1`
Kind	statement
Layer	textbook
MSC	60-XX
Sources	3
Outcome	node (a node has the same name as the row)
Node	Lévy's continuity theorem 0FPWF7TTMB

Mentions

mathlib_1000: mathlib_1000 Q1966978, Lévy continuity theorem (statement). Also Mathlib MeasureTheory.ProbabilityMeasure.tendsto_iff_tendsto_charFun, Wikidata Q1966978
thousand_plus: thousand_plus Q1966978, Lévy continuity theorem (statement). Also Mathlib MeasureTheory.ProbabilityMeasure.tendsto_iff_tendsto_charFun, Wikidata Q1966978, Wikipedia Lévy continuity theorem
wikipedia: Wikipedia Lévy's continuity theorem, Lévy's continuity theorem (statement). Also Wikidata Q1966978

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

Metric on a real trace leaf SYT6F0ATNX

URI	`m2://inv/SYT6F0ATNX`
Kind	statement
Layer	research
MSC	37-XX, 53-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 2609.26269#PXNZ, Metric on a real trace leaf (statement)

History

2026-11-01: add by m2/v0.6.15

Mike Lesser SYT6HBC7AK

URI	`m2://inv/SYT6HBC7AK`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Mike Lesser, Mike Lesser (topic). Also Wikidata Q6847664

History

2026-11-02: add by m2/dev

Dominated outcome SYT6TPRD19

URI	`m2://inv/SYT6TPRD19`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of game theory#43MJ, Dominated outcome (definition)

History

2026-11-02: add by m2/dev

Derived trigonometric formulas SYT8SF8VE9

URI	`m2://inv/SYT8SF8VE9`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Ailles rectangle#4J82, Derived trigonometric formulas (statement)

History

2026-11-02: add by m2/dev

SYTB5ZHA2N SYTB5ZHA2N

URI	`m2://inv/SYTB5ZHA2N`
Kind	example
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 2609.26509#7D13 (example)

History

2026-11-01: add by m2/v0.6.15

Normality test SYTBNMZCZ6

URI	`m2://inv/SYTBNMZCZ6`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#TG4H, Normality test (definition)

History

2026-11-02: add by m2/dev

Properties SYTDFE0QRS

URI	`m2://inv/SYTDFE0QRS`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Cantor function#XUKY, Properties (statement)

History

2026-11-02: add by m2/dev

No-broadcasting theorem SYTFP4GDVN

URI	`m2://inv/SYTFP4GDVN`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems#A285, No-broadcasting theorem (statement)

History

2026-11-02: add by m2/dev

Strichartz estimates SYTWD6KT6H

URI	`m2://inv/SYTWD6KT6H`
Kind	statement
Layer	research
MSC	35-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 2610.11968#5AGQ, Strichartz estimates (statement). In X6E7P2ACAS/e1, proposition 2.3

History

2026-10-28: add by m2/v0.4.3

SYV0M1P1X5 SYV0M1P1X5

URI	`m2://inv/SYV0M1P1X5`
Kind	statement
Layer	research
MSC	46-XX, 47-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 2610.04694#1BHS (statement). In W9A0Z2NBMA/e1, corollary 5

History

2026-10-29: add by m2/v0.4.12

Geometry Prize SYV5HZY0WV

URI	`m2://inv/SYV5HZY0WV`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Mathematical Society of Japan#BCOO, Geometry Prize (unknown)

History

2026-11-02: add by m2/dev

Global equal-mean inequality SYV5Z4N57J

URI	`m2://inv/SYV5Z4N57J`
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.24931#3VQO, Global equal-mean inequality (statement)

History

2026-11-01: add by m2/v0.6.15

SYV7TNNNWE SYV7TNNNWE

URI	`m2://inv/SYV7TNNNWE`
Kind	statement
Layer	research
MSC	11-XX, 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 2508.21045#JOTF (statement). In CGA36VE1C5/e1, fact 2.1.2

History

2026-10-27: add by m2/v0.3.6

Examples SYVAXDT0Q2

URI	`m2://inv/SYVAXDT0Q2`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Ludic fallacy#W53I, Examples (example)

History

2026-11-02: add by m2/dev

Hemi-cuboctahedron SYVBA08YRT

URI	`m2://inv/SYVBA08YRT`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hemi-cuboctahedron, Hemi-cuboctahedron (definition). Also Wikidata Q19597418

History

2026-11-02: add by m2/dev

Primal--Dual Certificate SYVEA3HYSZ

URI	`m2://inv/SYVEA3HYSZ`
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.33814#UNLF, Primal--Dual Certificate (statement). In WG5RT5PRNB/e1, proposition 3

History

2026-10-30: add by m2/v0.4.12

Argument map SYVS4CAAK6

URI	`m2://inv/SYVS4CAAK6`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Argument map, Argument map (definition). Also Wikidata Q1645946

History

2026-11-02: add by m2/dev

The constants $\kappa_g$ SYVSHEDD07

URI	`m2://inv/SYVSHEDD07`
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 2609.38220#F2M3, The constants $\kappa_g$ (statement). In 1AC4S19925/e1, lemma 5.2

History

2026-10-30: add by m2/v0.4.12

Statement of Conjecture SYVXZ39TZE

URI	`m2://inv/SYVXZ39TZE`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Fröberg conjecture#ASWG, Statement of Conjecture (statement)

History

2026-11-02: add by m2/dev

SYVYGDM29F SYVYGDM29F

URI	`m2://inv/SYVYGDM29F`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book basics.tex#thm:trans-prod (statement). In N54F33XE07, thm, section 1.6

History

2026-11-01: add by m2/v0.6.13

SYW81RAZ6N SYW81RAZ6N

URI	`m2://inv/SYW81RAZ6N`
Kind	statement
Layer	research
MSC	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.10152#OXX4 (statement). In KCJ53C7AXY/e1, lemma 2.2

History

2026-10-29: add by m2/v0.4.10

Faltings' theorem SYWAEAFGDY

URI	`m2://inv/SYWAEAFGDY`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Faltings' theorem#ZPZ2, Faltings' theorem (statement)

History

2026-11-02: add by m2/dev

Examples SYWB8AB6T0

URI	`m2://inv/SYWB8AB6T0`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Spherical harmonics#Y4SN, Examples (example)

History

2026-11-02: add by m2/dev

SYWMRVT59A SYWMRVT59A

URI	`m2://inv/SYWMRVT59A`
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 2609.26896#2WQI (statement)

History

2026-11-01: add by m2/v0.6.15

Census Metropolitan Area SYXAPDEZZP

URI	`m2://inv/SYXAPDEZZP`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Census geographic units of Canada#FI8R, Census Metropolitan Area (unknown)

History

2026-11-02: add by m2/dev

SYXCKGNF3H SYXCKGNF3H

URI	`m2://inv/SYXCKGNF3H`
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#8RVL (statement). In ZG0GNHTCWB/e1, theorem 6.2

History

2026-10-31: add by m2/v0.5.6

Harish–Chandra theorem SYXDFT86NE

URI	`m2://inv/SYXDFT86NE`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems#HOZ3, Harish–Chandra theorem (definition)

History

2026-11-02: add by m2/dev

SYXECNMBMW SYXECNMBMW

URI	`m2://inv/SYXECNMBMW`
Kind	example
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#DLSX (example). In HX63A1PH1W/e1, example 3.7

History

2026-10-28: add by m2/v0.4.3

Additive smoothing SYXF5DKJNA

URI	`m2://inv/SYXF5DKJNA`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Additive smoothing, Additive smoothing (definition). Also Wikidata Q4681348

History

2026-11-02: add by m2/dev

SYXKYKEN8G SYXKYKEN8G

URI	`m2://inv/SYXKYKEN8G`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-approximate.tex#cor-6 (statement). In E59CDZA4DP, cor, section 1.7.1

History

2026-11-01: add by m2/v0.6.13

SYXVX8GKX7 SYXVX8GKX7

URI	`m2://inv/SYXVX8GKX7`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-31 (exercise). In E9HS8K3A52, exercise, section 7.2.7

History

2026-11-01: add by m2/v0.6.13

Properties SYY03N9X08

URI	`m2://inv/SYY03N9X08`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Characteristic polynomial#4C2M, Properties (statement)

History

2026-11-02: add by m2/dev

Operationalization SYY2WK3NK2

URI	`m2://inv/SYY2WK3NK2`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Operationalization, Operationalization (definition). Also Wikidata Q286017

History

2026-11-02: add by m2/dev

separable closure SYY9TVZFTP

URI	`m2://inv/SYY9TVZFTP`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q526205, separable closure (unknown). Also nLab separable closure

History

2026-10-26: add by m2/dev

SYYBZYW619 SYYBZYW619

URI	`m2://inv/SYYBZYW619`
Kind	definition
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 2304.02722#KBOI (definition). In AH7D55D3WV/e1, definition 20.5

History

2026-10-27: add by m2/v0.3.5

SYYP5VR4TD SYYP5VR4TD

URI	`m2://inv/SYYP5VR4TD`
Kind	statement
Layer	research
MSC	60-XX, 62-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 2610.21103#AAIC (statement). In VZCZEDCG8J/e1, proposition A.1

History

2026-10-27: add by m2/v0.4.2

Lev Lipatov SYYRCNE924

URI	`m2://inv/SYYRCNE924`
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 Q1821998, Lev Lipatov (unknown). Also nLab Lev Lipatov

History

2026-10-26: add by m2/dev

Definition SYYT8Y381T

URI	`m2://inv/SYYT8Y381T`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Generalized Kac–Moody algebra#T5PZ, Definition (definition)

History

2026-11-02: add by m2/dev

Dense graph SYYX1KXZBG

URI	`m2://inv/SYYX1KXZBG`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Dense graph, Dense graph (definition). Also Wikidata Q3085841

History

2026-11-02: add by m2/dev

SYZ08RB80A SYZ08RB80A

URI	`m2://inv/SYZ08RB80A`
Kind	example
Layer	research
MSC	20-XX, 22-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.03340#JR2A (example). In 240XYYKY0V/e1, example

History

2026-10-29: add by m2/v0.4.12

Exterior pairs among the simple groups SYZ2ZJZDFK

URI	`m2://inv/SYZ2ZJZDFK`
Kind	statement
Layer	research
MSC	19-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 2610.04164#BYFB, Exterior pairs among the simple groups (statement). In KR7WXN4EWR/e1, proposition 3.5

History

2026-10-29: add by m2/v0.4.12

Directional statistics SYZBH9D0MP

URI	`m2://inv/SYZBH9D0MP`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#7ZQL, Directional statistics (definition)

History

2026-11-02: add by m2/dev

SYZDV564V0 SYZDV564V0

URI	`m2://inv/SYZDV564V0`
Kind	definition
Layer	research
MSC	14-XX, 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 2609.37520#Q6ZN (definition). In BDN507RN7J/e1, definition 3.6.10

History

2026-10-30: add by m2/v0.4.12

SYZFS7V1K8 SYZFS7V1K8

URI	`m2://inv/SYZFS7V1K8`
Kind	statement
Layer	research
MSC	17-XX, 18-XX, 20-XX, 22-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.17769#57U7 (statement). In 8GHQYNQW9Q/e1, proposition 2.1

History

2026-10-28: add by m2/v0.4.2

SYZG17VX03 SYZG17VX03

URI	`m2://inv/SYZG17VX03`
Kind	statement
Layer	research
MSC	13-XX, 14-XX, 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 2609.38068#O4IV (statement). In 67GE5M1GGD/e1, corollary 5.13

History

2026-10-30: add by m2/v0.4.12

SYZJVDR6D9 SYZJVDR6D9

URI	`m2://inv/SYZJVDR6D9`
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 2609.20094#Y7PO (statement)

History

2026-11-02: add by m2/v0.6.18

Grunsky matrix SYZMN5SK4Y

URI	`m2://inv/SYZMN5SK4Y`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Grunsky matrix, Grunsky matrix (definition). Also Wikidata Q5612135

History

2026-11-02: add by m2/dev

SYZQ0ZJZB0 SYZQ0ZJZB0

URI	`m2://inv/SYZQ0ZJZB0`
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 2610.07401#ERNK (statement). In FQ5435B36D/e1, proposition 2.3

History

2026-10-29: add by m2/v0.4.10

Leray–Hirsch theorem SYZSDMCT87

URI	`m2://inv/SYZSDMCT87`
Kind	statement
Layer	textbook
MSC	55-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q6528751, Leray–Hirsch theorem (statement). Also Wikidata Q6528751
thousand_plus: thousand_plus Q6528751, Leray–Hirsch theorem (statement). Also Wikidata Q6528751, Wikipedia Leray–Hirsch theorem
wikipedia: Wikipedia Leray–Hirsch theorem, Leray–Hirsch theorem (statement). Also Wikidata Q6528751

History

2026-10-26: add by m2/dev

Pendant stars SYZSGD8CZE

URI	`m2://inv/SYZSGD8CZE`
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 2211.04758#LMA9, Pendant stars (statement). In DRWDJG2G3S/e1, lemma 5.1

History

2026-10-27: add by m2/v0.3.5

Uniform region of differential invertibility SYZW75RV69

URI	`m2://inv/SYZW75RV69`
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 2609.22513#D1M4, Uniform region of differential invertibility (statement)

History

2026-11-02: add by m2/v0.6.17