Inventory rows 9E

Károly Bezdek 9E042RYXEA

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

Mentions

wikipedia: Wikipedia List of geometers#8DCZ, Károly Bezdek (topic)

History

2026-11-02: add by m2/dev

9E055SHY5D 9E055SHY5D

URI	`m2://inv/9E055SHY5D`
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 2610.18219#M3DU (statement). In X1AGBB90EH/e1, lemma 6.1

History

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

Lindelöf's theorem 9E0ATYCXN3

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

Mentions

wikipedia: Wikipedia List of theorems#ZINL, Lindelöf's theorem (statement)

History

2026-11-02: add by m2/dev

Bryan Cantley 9E0CH1258Q

URI	`m2://inv/9E0CH1258Q`
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#VYQD, Bryan Cantley (unknown)

History

2026-11-02: add by m2/dev

Cancellation of one Hessian 9E0HRWBW3A

URI	`m2://inv/9E0HRWBW3A`
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.18350#DTKH, Cancellation of one Hessian (statement). In A20E8FZS21/e1, lemma 5.5

History

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

nephroid 9E0MJ350FW

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

Mentions

wikidata: Wikidata Q1918011, nephroid (unknown). Also MathWorld Nephroid
wikipedia: Wikipedia Nephroid, Nephroid (definition). Also Wikidata Q1918011

History

2026-10-26: add by m2/dev

9E0PPQ3WH1 9E0PPQ3WH1

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

Mentions

hott_book: hott_book basics.tex#proof-27 (proof). In N54F33XE07, proof, section 1.7

History

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

Abraham Nemeth 9E140DAA0F

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#1UGE, Abraham Nemeth (topic)

History

2026-11-02: add by m2/dev

Pseudomedian 9E1G1Z4DPB

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

Mentions

wikipedia: Wikipedia List of statistics articles#NE0V, Pseudomedian (definition)

History

2026-11-02: add by m2/dev

9E1SPKJJAT 9E1SPKJJAT

URI	`m2://inv/9E1SPKJJAT`
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 2609.31212#2L83 (statement). In FHE30V0M03/e1, corollary 6.2

History

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

Horizontal asymptote 9E1SSJR8J2

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

Mentions

wikipedia: Wikipedia Asymptote#0R0Z, Horizontal asymptote (unknown)

History

2026-11-02: add by m2/dev

Trapezoidal-cell $q$-Zeta formula 9E1V7YVPVK

URI	`m2://inv/9E1V7YVPVK`
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.24541#V9UB, Trapezoidal-cell $q$-Zeta formula (statement)

History

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

9E1X10RETB 9E1X10RETB

URI	`m2://inv/9E1X10RETB`
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.09672#18GQ (statement). In TXBXCPP0QH/e1, lemma 25

History

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

Deterministic conditional correction 9E2601EPD9

URI	`m2://inv/9E2601EPD9`
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.38228#Z8KL, Deterministic conditional correction (statement). In 9YAE8FNQST/e1, lemma 28.7

History

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

The Frobenius element 9E27ZT3R1W

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

Mentions

napkin: napkin tex/alg-NT/frobenius.tex#theorem-1, The Frobenius element (statement). In RZP28ERRZV, theorem, section 13.1

History

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

Toy model I 9E282P33AX

URI	`m2://inv/9E282P33AX`
Kind	definition
Layer	research
MSC	35-XX, 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.38061#GDH8, Toy model I (definition). In XFBW60M3AR/e1, definition 3.5

History

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

9E2FP9DACV 9E2FP9DACV

URI	`m2://inv/9E2FP9DACV`
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 2208.06310#PP6W (definition). In 9YR0E0T9XA/e1, definition 3.16

History

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

Examples 9E2FVQSA10

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

Mentions

wikipedia: Wikipedia Master theorem (analysis of algorithms)#OU7M, Examples (example)

History

2026-11-02: add by m2/dev

Analytic epidemiologic study 9E2SS9RW1R

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

Mentions

wikipedia: Wikipedia Epidemiology#41FI, Analytic epidemiologic study (unknown)

History

2026-11-02: add by m2/dev

9E2T4VA7TF 9E2T4VA7TF

URI	`m2://inv/9E2T4VA7TF`
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#FU61 (statement). In 2RC8WXQ9ET/e1, lemma 2.4

History

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

The lifting theorem with infinite unitary input 9E2V3SXTP0

URI	`m2://inv/9E2V3SXTP0`
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 2609.25805#396P, The lifting theorem with infinite unitary input (example)

History

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

9E2VCYXYQ3 9E2VCYXYQ3

URI	`m2://inv/9E2VCYXYQ3`
Kind	example
Layer	research
MSC	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 2303.09207#FOCV (example). In 9DQKY7KGE8/e1, example 6.2

History

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

alternating series 9E2W5KQ456

URI	`m2://inv/9E2W5KQ456`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Alternating series 0QED0GPYKY

Mentions

wikidata: Wikidata Q438842, alternating series (unknown). Also MathWorld AlternatingSeries
wikipedia: Wikipedia Alternating series, Alternating series (definition). Also Wikidata Q438842

History

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

Russian roulette 9E30TX63XY

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

Mentions

wikidata: Wikidata Q201045, Russian roulette (unknown). Also MathWorld RussianRoulette

History

2026-10-26: add by m2/dev

9E3ASWGKFF 9E3ASWGKFF

URI	`m2://inv/9E3ASWGKFF`
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.25111#5LG7 (statement)

History

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

Standard-degree-zero master formula 9E3BNPE7BN

URI	`m2://inv/9E3BNPE7BN`
Kind	statement
Layer	research
MSC	05-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 2610.20649#HIWJ, Standard-degree-zero master formula (statement). In XDTM624YPE/e1, theorem 12.1

History

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

August Friedrich Müller 9E3BTNPGNX

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

Mentions

wikipedia: Wikipedia August Friedrich Müller, August Friedrich Müller (topic). Also Wikidata Q104697

History

2026-11-02: add by m2/dev

9E3KP1Q48P 9E3KP1Q48P

URI	`m2://inv/9E3KP1Q48P`
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 2609.30067#A2OH (statement)

History

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

Nonabelian Hodge theorem (part 1) 9E3M3K7KTQ

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

Mentions

wikipedia: Wikipedia Nonabelian Hodge correspondence#W1HQ, Nonabelian Hodge theorem (part 1) (statement)

History

2026-11-02: add by m2/dev

9E3PJ5P516 9E3PJ5P516

URI	`m2://inv/9E3PJ5P516`
Kind	statement
Layer	research
MSC	05-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 2109.09268#D7T9 (statement). In SYZFEVFHC3/e1, lemma 2.2

History

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

Approximation by perturbing an initial block 9E3VCHKZEM

URI	`m2://inv/9E3VCHKZEM`
Kind	statement
Layer	research
MSC	26-XX, 35-XX, 47-XX, 58-XX, 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.08568#4UYU, Approximation by perturbing an initial block (statement). In FDDA562VCA/e1, theorem 2.31

History

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

9E3W1MDDSE 9E3W1MDDSE

URI	`m2://inv/9E3W1MDDSE`
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.08042#TGLK (statement). In SSEDAYK3CQ/e1, theorem 2

History

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

Algorithm 9E3YHW9WHC

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

Mentions

wikipedia: Wikipedia BLAKE (hash function)#VYG3, Algorithm (definition)

History

2026-11-02: add by m2/dev

9E41XS1J39 9E41XS1J39

URI	`m2://inv/9E41XS1J39`
Kind	statement
Layer	research
MSC	17-XX, 57-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.10262#SBWO (statement). In MVSGDTN2PB/e1, theorem 5.8

History

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

9E44A64826 9E44A64826

URI	`m2://inv/9E44A64826`
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#26AA (example). In DDA62XQTWW/e1, example 3.7

History

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

9E453W9F1E 9E453W9F1E

URI	`m2://inv/9E453W9F1E`
Kind	statement
Layer	research
MSC	05-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.13972#F66Y (statement). In S1KHNS8XQM/e1, lemma 6.4

History

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

9E4798B6KM 9E4798B6KM

URI	`m2://inv/9E4798B6KM`
Kind	example
Layer	research
MSC	16-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.21668#5JTA (example)

History

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

Theorem 9E47V63509

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#SJNW, Theorem (statement)

History

2026-11-02: add by m2/dev

Theorem 1 (Loewy 1906) 9E497MMQK6

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

Mentions

wikipedia: Wikipedia Loewy decomposition#6DGQ, Theorem 1 (Loewy 1906) (statement)

History

2026-11-02: add by m2/dev

Pathological function 9E4BMHMYAR

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

Mentions

wikipedia: Wikipedia Pathological (mathematics)#A3LB, Pathological function (unknown)

History

2026-11-02: add by m2/dev

North Sea Jazz Festival 9E4FR5C8JE

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

Mentions

wikidata: Wikidata Q2000831, North Sea Jazz Festival (unknown). Also nLab 000035566862

History

2026-10-26: add by m2/dev

Schauder 9E4GSW7ZYF

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#XR0L, Schauder (definition)

History

2026-11-02: add by m2/dev

John Jay Gergen 9E4HR35VHB

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

Mentions

wikipedia: Wikipedia John Jay Gergen, John Jay Gergen (topic). Also Wikidata Q720428

History

2026-11-02: add by m2/dev

9E4YM63PHC 9E4YM63PHC

URI	`m2://inv/9E4YM63PHC`
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.26600#MAQ7 (statement)

History

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

Phase contrast magnetic resonance imaging 9E50ZAB0PA

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

Mentions

wikipedia: Wikipedia Phase contrast magnetic resonance imaging, Phase contrast magnetic resonance imaging (definition). Also Wikidata Q25305334

History

2026-11-02: add by m2/dev

Thorndike, Robert L. 9E54J0DX5C

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

Mentions

wikipedia: Wikipedia List of statisticians#E3PO, Thorndike, Robert L. (unknown)

History

2026-11-02: add by m2/dev

Beth Gladen 9E54V9RAKG

URI	`m2://inv/9E54V9RAKG`
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#OYZ4, Beth Gladen (topic)

History

2026-11-02: add by m2/dev

Dimitri Bertsekas 9E5BPYXZSK

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#7D77, Dimitri Bertsekas (topic)

History

2026-11-02: add by m2/dev

9E5CGP0P7F 9E5CGP0P7F

URI	`m2://inv/9E5CGP0P7F`
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#2HFY (statement). In 5E9G06XJKC/e1, lemma F.42

History

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

The family $W(2q+1,2)$ 9E5GAPV6X4

URI	`m2://inv/9E5GAPV6X4`
Kind	example
Layer	research
MSC	05-XX, 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.27153#B1FS, The family $W(2q+1,2)$ (example)

History

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

List of computer algebra systems 9E5R5S223F

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

Mentions

wikipedia: Wikipedia List of computer algebra systems, List of computer algebra systems (topic). Also Wikidata Q4388223

History

2026-11-02: add by m2/dev

Julian Period 9E5SE1B4EA

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

Mentions

wikipedia: Wikipedia Julian day#PB9D, Julian Period (unknown)

History

2026-11-02: add by m2/dev

coprime 9E6055N4B0

URI	`m2://inv/9E6055N4B0`
Kind	definition
Layer	textbook
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Coprime integers 0VZ48N083F

Mentions

mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > coprime element, coprime element (unknown). Also Mathlib IsCoprime
mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > coprime elements, coprime elements (unknown). Also Mathlib IsCoprime
wikidata: Wikidata Q104752, coprime (unknown). Also Mathlib IsCoprime, MathWorld RelativelyPrime
wikipedia: Wikipedia Coprime integers, Coprime integers (definition). Also Wikidata Q104752

History

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

Strong set 9E61XBYBQP

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

Mentions

wikipedia: Wikipedia Web of trust#43XN, Strong set (unknown)

History

2026-11-02: add by m2/dev

9E62B6WGJ8 9E62B6WGJ8

URI	`m2://inv/9E62B6WGJ8`
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.31300#P711 (statement). In ERHQDB8M41/e1, theorem 3.5

History

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

Example 9E63QT3HP4

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

Mentions

wikipedia: Wikipedia Minkowski addition#46YT, Example (example)

History

2026-11-02: add by m2/dev

9E63SHXABJ 9E63SHXABJ

URI	`m2://inv/9E63SHXABJ`
Kind	statement
Layer	research
MSC	46-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 2610.19151#WWK0 (statement). In DKVT74MANJ/e1, proposition 2.4

History

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

Principle of conditionalization 9E6G110DZN

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

Mentions

wikipedia: Wikipedia Bayesian epistemology#XNXE, Principle of conditionalization (statement)

History

2026-11-02: add by m2/dev

cf.\ 9E6GE5QR4M

URI	`m2://inv/9E6GE5QR4M`
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.20345#19KP, cf.\ (statement). In WVRRST04WS/e1, proposition 3

History

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

9E6K8JMEBJ 9E6K8JMEBJ

URI	`m2://inv/9E6K8JMEBJ`
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 2609.27694#0FXY (statement)

History

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

Properties 9E6PC8ZV20

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

Mentions

wikipedia: Wikipedia Conditional entropy#2X2T, Properties (statement)

History

2026-11-02: add by m2/dev

9E6SWFCJWG 9E6SWFCJWG

URI	`m2://inv/9E6SWFCJWG`
Kind	statement
Layer	research
MSC	35-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.21670#0SQP (statement)

History

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

Every positive input mass 9E711MV3JW

URI	`m2://inv/9E711MV3JW`
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.38228#FQAD, Every positive input mass (statement). In 9YAE8FNQST/e1, corollary 15.21

History

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

9E73H2JY23 9E73H2JY23

URI	`m2://inv/9E73H2JY23`
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.23237#R4YU (statement)

History

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

Hasse--Davenport multiplication formula 9E73JX06TJ

URI	`m2://inv/9E73JX06TJ`
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#UBAH, Hasse--Davenport multiplication formula (statement). In 5BZQS1KY9A/e1, theorem 5.3

History

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

9E78EEPGTE 9E78EEPGTE

URI	`m2://inv/9E78EEPGTE`
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.06724#CX02 (statement). In W5XG3PGVF1/e1, proposition 4.2

History

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

Kerckhoffs's principle 9E78GJH8ZD

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

Mentions

wikipedia: Wikipedia Kerckhoffs's principle, Kerckhoffs's principle (statement). Also Wikidata Q1331187

History

2026-11-02: add by m2/dev

Filip Rindler 9E78QB7HWR

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

Mentions

wikipedia: Wikipedia Filip Rindler, Filip Rindler (topic). Also Wikidata Q102392445

History

2026-11-02: add by m2/dev

9E7A9SRNB1 9E7A9SRNB1

URI	`m2://inv/9E7A9SRNB1`
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.22769#3U2A (statement)

History

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

Example 9E7BKVRX95

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

Mentions

wikipedia: Wikipedia Divisibility rule#G4KS, Example (example)

History

2026-11-02: add by m2/dev

Monomial representation 9E7BRAFR0P

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

Mentions

wikipedia: Wikipedia Monomial representation, Monomial representation (definition). Also Wikidata Q3930280

History

2026-11-02: add by m2/dev

Examples 9E7BZZM2Y1

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

Mentions

wikipedia: Wikipedia Multiply transitive group action#XLUQ, Examples (example)

History

2026-11-02: add by m2/dev

9E7D1TG1Z8 9E7D1TG1Z8

URI	`m2://inv/9E7D1TG1Z8`
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 2609.39700#YN2B (statement). In E7W2HDNEKJ/e1, corollary 5.4

History

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

9E7J31618W 9E7J31618W

URI	`m2://inv/9E7J31618W`
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.19288#2PCG (statement). In 1EA6AM9V01/e1, corollary C.5

History

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

9E7JNS6W76 9E7JNS6W76

URI	`m2://inv/9E7JNS6W76`
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.10527#GB7R (statement). In 9AXPPWBA9R/e1, lemma 4

History

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

incidence 9E7KQ9FWZE

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

Mentions

wikidata: Wikidata Q1671857, incidence (unknown). Also MathWorld Incident
wikipedia: Wikipedia Incidence (geometry), Incidence (definition). Also Wikidata Q1671857

History

2026-10-26: add by m2/dev

union 9E7ZBXH45F

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

Mentions

levin_dmoi: levin_dmoi index/1.3.3/union, union (concept). In Y91XFCEVHQ, index, section 1.3.3

History

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

Higher Regularity Theory for Linear Parabolic PDEs 9E8B9009EE

URI	`m2://inv/9E8B9009EE`
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 2610.15111#2ZPI, Higher Regularity Theory for Linear Parabolic PDEs (statement). In 6RE6JYE4GP/e1, theorem B.1

History

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

Friis formulas for noise 9E8B9NGQWD

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

Mentions

wikipedia: Wikipedia Friis formulas for noise, Friis formulas for noise (statement). Also Wikidata Q604918

History

2026-11-02: add by m2/dev

Generalizations 9E8CSK8ACC

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

Mentions

wikipedia: Wikipedia Monotone polygon#D78F, Generalizations (statement)

History

2026-11-02: add by m2/dev

$S$, $\frac{\partial J}{\partial x}$ has one nonzero sign wherever \(\frac{\partial J}{\partial y}=\frac{\partial J}{\partial z}=0\ 9E8CZMPPBR

URI	`m2://inv/9E8CZMPPBR`
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.19926#NMTY, $S$, $\frac{\partial J}{\partial x}$ has one nonzero sign wherever \(\frac{\partial J}{\partial y}=\frac{\partial J}{\partial z}=0\ (statement)

History

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

Trifocal tensor 9E8GWDN5BM

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

Mentions

wikipedia: Wikipedia Trifocal tensor, Trifocal tensor (definition). Also Wikidata Q2453115

History

2026-11-02: add by m2/dev

Properties 9E8KGQB77T

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

Mentions

wikipedia: Wikipedia Bounded type (mathematics)#DO9A, Properties (statement)

History

2026-11-02: add by m2/dev

Procedure 9E904JN72Y

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

Mentions

wikipedia: Wikipedia Price-Jones curve#ANHH, Procedure (definition)

History

2026-11-02: add by m2/dev

9E90VTXZY6 9E90VTXZY6

URI	`m2://inv/9E90VTXZY6`
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.14741#2162 (statement). In RK1VPWWX9E/e1, proposition 2.4

History

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

ethereal cardinals 9E928B5D0T

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

Mentions

wikipedia: Wikipedia List of large cardinal properties#5NRW, ethereal cardinals (definition)

History

2026-11-02: add by m2/dev

ion 9E92FXYGMV

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

Mentions

wikidata: Wikidata Q36496, ion (definition). Also ProofWiki Definition:Ion

History

2026-10-26: add by m2/dev

Contact manifold 9E94ECG5S9

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

Mentions

wikipedia: Wikipedia List of manifolds#G197, Contact manifold (topic)

History

2026-11-02: add by m2/dev

9E997KEMA0 9E997KEMA0

URI	`m2://inv/9E997KEMA0`
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#Y9R0 (statement). In GMRT5GHBZS/e1, theorem B

History

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

Exact quadratic cancellation in the actual feature bank 9E99HFGPYZ

URI	`m2://inv/9E99HFGPYZ`
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.39408#Y48N, Exact quadratic cancellation in the actual feature bank (statement). In T8E6F01RTM/e1, lemma U.7

History

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

9E9XWR39R0 9E9XWR39R0

URI	`m2://inv/9E9XWR39R0`
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.28898#HHAL (statement)

History

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

Depth of the quadratic correction units 9EA0EJSRS0

URI	`m2://inv/9EA0EJSRS0`
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#M0MC, Depth of the quadratic correction units (statement). In 5BZQS1KY9A/e1, lemma 9.22

History

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

Siebenhirten 9EA2FGNMT8

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

Mentions

wikipedia: Wikipedia List of places with numeric names#VC0H, Siebenhirten (unknown)

History

2026-11-02: add by m2/dev

9EA3KGVMDD 9EA3KGVMDD

URI	`m2://inv/9EA3KGVMDD`
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.15419#F95A (statement). In QHMR7JRJ0W/e1, lemma 2.2

History

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

9EA419SMNB 9EA419SMNB

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

Mentions

open_logic: open_logic content/incompleteness/incompleteness-provability/fixed-point-lemma.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 27.10

History

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

9EA8K0M7QY 9EA8K0M7QY

URI	`m2://inv/9EA8K0M7QY`
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 2608.24190#TGRU (statement). In DW7FVA587C/e1, theorem 1.3

History

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

9EA8VZEFJY 9EA8VZEFJY

URI	`m2://inv/9EA8VZEFJY`
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.01737#0LTJ (statement). In M4JGP708F4/e1, fact 2.2

History

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

Almost holomorphic modular form 9EACJ3CDWT

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

Mentions

wikipedia: Wikipedia Almost holomorphic modular form, Almost holomorphic modular form (definition). Also Wikidata Q17002045

History

2026-11-02: add by m2/dev

Ordinal multiplication is not commutative 9EAGPN48PX

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

Mentions

napkin: napkin tex/set-theory/ordinal.tex#example-7, Ordinal multiplication is not commutative (example). In RZP28ERRZV, example, section 92.6

History

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

Hole 9EAJ0S76FF

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

Mentions

wikipedia: Wikipedia Hole, Hole (definition). Also Wikidata Q20204151

History

2026-11-02: add by m2/dev

9EAPFGVJ2V 9EAPFGVJ2V

URI	`m2://inv/9EAPFGVJ2V`
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.18620#X417 (statement). In 6WJ0R9YEBR/e1, proposition 3.24

History

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

Pascal's triangle 9EAX2NK7G7

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

Mentions

levin_dmoi: levin_dmoi index/2.2.5/pascal-s-triangle, Pascal's triangle (concept). In Y91XFCEVHQ, index, section 2.2.5

History

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

9EAXKXFCNP 9EAXKXFCNP

URI	`m2://inv/9EAXKXFCNP`
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 2610.09809#0Z7O (definition). In 7NKQ6PR78N/e1, definition 2.9

History

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

9EB3EWS18B 9EB3EWS18B

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 2.6

History

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

9EB77S73GA 9EB77S73GA

URI	`m2://inv/9EB77S73GA`
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.08873#OQLP (statement). In 7WMNVJBAVR/e1, proposition 4.13

History

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

Woodbury matrix identity 9EBJRHQSN3

URI	`m2://inv/9EBJRHQSN3`
Kind	statement
Layer	textbook
MSC	15-XX
Sources	4
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q1551745, Binomial inverse theorem (statement). Also Mathlib Matrix.invOf_add_mul_mul', Wikidata Q1551745
thousand_plus: thousand_plus Q1551745, Binomial inverse theorem (statement). Also Mathlib Matrix.invOf_add_mul_mul', Wikidata Q1551745, Wikipedia Binomial inverse theorem
wikidata: Wikidata Q1551745, Woodbury matrix identity (statement). Also MathWorld WoodburyFormula
wikipedia: Wikipedia Woodbury matrix identity, Woodbury matrix identity (statement). Also Wikidata Q1551745

History

2026-10-26: add by m2/dev

9EBJTV4B5B 9EBJTV4B5B

URI	`m2://inv/9EBJTV4B5B`
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#PB6Q (statement)

History

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

Examples 9EBK250129

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

Mentions

wikipedia: Wikipedia Herbrand structure#99WF, Examples (example)

History

2026-11-02: add by m2/dev

9EBKJRS8E3 9EBKJRS8E3

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

Mentions

applied_combinatorics: applied_combinatorics source/s_recurrence_solving.ptx#ex_recurrence_deg4-repeated (example). In QKM9DD2H56, example, section 9.4.1

History

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

9EBMEQ32X0 9EBMEQ32X0

URI	`m2://inv/9EBMEQ32X0`
Kind	statement
Layer	research
MSC	03-XX, 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 math/0406514#R15D (statement). In CY1FE8W1ZW/e1, lemma 0.217

History

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

Example 9EBRMANFNT

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

Mentions

wikipedia: Wikipedia All-pairs testing#JYAN, Example (example)

History

2026-11-02: add by m2/dev

Thomson problem 9EBSX2HY2F

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

Mentions

wikipedia: Wikipedia Thomson problem, Thomson problem (conjecture). Also Wikidata Q7795912

History

2026-11-02: add by m2/dev

9EBTRA3N6E 9EBTRA3N6E

URI	`m2://inv/9EBTRA3N6E`
Kind	statement
Layer	research
MSC	14-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.05018#X48A (statement). In QFZSPBES9B/e1, proposition 3.8

History

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

Weighted mean 9EBVC18A6G

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

Mentions

wikipedia: Wikipedia List of statistics articles#EWHP, Weighted mean (definition)
wikipedia: Wikipedia List of real analysis topics#3GGE, Weighted mean (definition)

History

2026-11-02: add by m2/dev

9EC2J10CTZ 9EC2J10CTZ

URI	`m2://inv/9EC2J10CTZ`
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 2609.35307#6KBA (statement). In FT5TKY10T8/e1, theorem 9.1

History

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

Bertrand's ballot theorem 9EC45MCAX9

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

Mentions

wikipedia: Wikipedia List of statistics articles#R9RC, Bertrand's ballot theorem (statement)

History

2026-11-02: add by m2/dev

decomposition group 9EC5YYBDJ0

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#GTIZ, decomposition group (definition)

History

2026-11-02: add by m2/dev

9EC69Q1RNM 9EC69Q1RNM

URI	`m2://inv/9EC69Q1RNM`
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.20458#CIZD (statement)

History

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

Peter of Spain 9EC6X7MRRE

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

Mentions

wikipedia: Wikipedia List of logicians#BVZG, Peter of Spain (topic)

History

2026-11-02: add by m2/dev

Commutation theorem 9EC7EXKCZP

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

Mentions

wikipedia: Wikipedia Tomita–Takesaki theory#U1QV, Commutation theorem (statement)

History

2026-11-02: add by m2/dev

Connection 9ECCPH90CM

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

Mentions

wikipedia: Wikipedia Connection (composite bundle), Connection (definition). Also Wikidata Q17005664

History

2026-11-02: add by m2/dev

9ECN8XB5FD 9ECN8XB5FD

URI	`m2://inv/9ECN8XB5FD`
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.29552#0A47 (example)

History

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

Sufficient fill-distance condition 9ECND88D2G

URI	`m2://inv/9ECND88D2G`
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.20539#E91I, Sufficient fill-distance condition (statement). In 94KNW375B9/e1, lemma 2

History

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

Max Levchin 9ECQ2PNANQ

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#S8MG, Max Levchin (unknown)

History

2026-11-02: add by m2/dev

Pisier–Ringrose inequality 9ECSXVV2X5

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

Mentions

wikipedia: Wikipedia List of inequalities#4F7D, Pisier–Ringrose inequality (statement)

History

2026-11-02: add by m2/dev

Truncation error of the lower digit groups 9ED5PMVT71

URI	`m2://inv/9ED5PMVT71`
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.29554#93NJ, Truncation error of the lower digit groups (statement)

History

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

Robert de Montessus de Ballore 9EDE11PGB2

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

Mentions

wikipedia: Wikipedia Robert de Montessus de Ballore, Robert de Montessus de Ballore (topic). Also Wikidata Q3436704

History

2026-11-02: add by m2/dev

regular cardinal 9EDF4CAWAZ

URI	`m2://inv/9EDF4CAWAZ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Regular cardinal 13ZV2F8JAR

Mentions

wikidata: Wikidata Q1193137, regular cardinal (definition). Also nLab regular cardinal, ProofWiki Definition:Regular_Cardinal
wikipedia: Wikipedia Regular cardinal, Regular cardinal (definition). Also Wikidata Q1193137

History

2026-10-26: add by m2/dev

Extremal epimorphism 9EDK5VKTAS

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

Mentions

wikipedia: Wikipedia Epimorphism#GEU6, Extremal epimorphism (unknown)

History

2026-11-02: add by m2/dev

sqb3 9EDTQ89F68

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#7MY3, sqb3 (definition)

History

2026-11-02: add by m2/dev

Theorem 9EDX4DYH8P

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

Mentions

wikipedia: Wikipedia Countable set#WECY, Theorem (statement)

History

2026-11-02: add by m2/dev

Definition 9EE433A4TA

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

Mentions

wikipedia: Wikipedia Isometry#M3JO, Definition (definition)

History

2026-11-02: add by m2/dev

9EE5505EW4 9EE5505EW4

URI	`m2://inv/9EE5505EW4`
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 2101.07846#7F0W (statement). In 9XTXH6H1N7/e1, lemma 6

History

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

9EE67VTR9P 9EE67VTR9P

URI	`m2://inv/9EE67VTR9P`
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.36423#43OT (definition). In Q5Z178SAHP/e1, definition 3.2

History

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

Louis J. Mordell 9EE6T4HA7A

URI	`m2://inv/9EE6T4HA7A`
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 Q726833, Louis J. Mordell (unknown). Also nLab Louis Mordell
wikipedia: Wikipedia Louis J. Mordell, Louis J. Mordell (topic). Also Wikidata Q726833

History

2026-10-26: add by m2/dev

9EE971ZK98 9EE971ZK98

URI	`m2://inv/9EE971ZK98`
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.21414#886R (statement)

History

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

neighbors 9EEMGCTGF0

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

Mentions

levin_dmoi: levin_dmoi index/5.6/neighbors, neighbors (concept). In Y91XFCEVHQ, index, section 5.6

History

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

Exact rank lifting 9EEPS69R9S

URI	`m2://inv/9EEPS69R9S`
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.39855#1Q2A, Exact rank lifting (statement). In E1KFX0NW51/e1, theorem 3.1

History

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

9EEXGRM94M 9EEXGRM94M

URI	`m2://inv/9EEXGRM94M`
Kind	definition
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.06724#TURF (definition). In W5XG3PGVF1/e1, definition 2.4

History

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

Property testing 9EF0S3A757

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

Mentions

wikipedia: Wikipedia Property testing, Property testing (definition). Also Wikidata Q2918980

History

2026-11-02: add by m2/dev

9EF30DYHRK 9EF30DYHRK

URI	`m2://inv/9EF30DYHRK`
Kind	statement
Layer	research
MSC	35-XX, 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 2610.07240#0226 (statement). In D0F1GK5AHW/e1, proposition 3.3

History

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

9EFE2W11XP 9EFE2W11XP

URI	`m2://inv/9EFE2W11XP`
Kind	example
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 1002.0879#UICH (example). In M0SQY5EZN5/e1, example 4.5.1

History

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

9EFED8GZ1G 9EFED8GZ1G

URI	`m2://inv/9EFED8GZ1G`
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.20480#6H77 (statement). In BK4359JSC3/e1, corollary 5.3

History

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

9EFP6F9VE8 9EFP6F9VE8

URI	`m2://inv/9EFP6F9VE8`
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.14135#YHGV (statement). In C304J64Q79/e1, lemma 2.2

History

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

9EFYQ93AKN 9EFYQ93AKN

URI	`m2://inv/9EFYQ93AKN`
Kind	definition
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.27775#WEV5 (definition)

History

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

Separation axioms 9EG61C8CBS

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

Mentions

wikipedia: Wikipedia Kuratowski closure axioms#BL39, Separation axioms (statement)

History

2026-11-02: add by m2/dev

Derivation using Snell's law 9EG99K1GX4

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

Mentions

wikipedia: Wikipedia Thin lens#UKWH, Derivation using Snell's law (statement)

History

2026-11-02: add by m2/dev

Linearity of series 9EGAXSXFME

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#prop-11, Linearity of series (statement). In E59CDZA4DP, prop, section 10.5.3

History

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

9EGAZAW70C 9EGAZAW70C

URI	`m2://inv/9EGAZAW70C`
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.32829#TY5I (statement). In RYWAX33Z51/e1, lemma 7.9

History

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

SackurTetrodeConstant 9EGE290D0Q

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

Mentions

wikipedia: Wikipedia Sackur–Tetrode equation#U4WE, SackurTetrodeConstant (unknown)

History

2026-11-02: add by m2/dev

9EGGBM1M47 9EGGBM1M47

URI	`m2://inv/9EGGBM1M47`
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 2011.07352#M2AP (statement). In 3VPC1GGZ3E/e1, lemma 2.1

History

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

9EGJVGCYQ1 9EGJVGCYQ1

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#proof-2 (proof). In Y91XFCEVHQ, proof, section 6.2

History

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

Induced subgraph isomorphism problem 9EGTZQ82Y0

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

Mentions

wikipedia: Wikipedia Induced subgraph isomorphism problem, Induced subgraph isomorphism problem (problem). Also Wikidata Q6027240

History

2026-11-02: add by m2/dev

Barycentric solution 9EGVT15P62

URI	`m2://inv/9EGVT15P62`
Kind	statement
Layer	research
MSC	60-XX, 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.31345#01P4, Barycentric solution (statement). In R4MX33WNRX/e1, proposition 3.3

History

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

Halting problem 9EGXDK8YG6

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

Mentions

wikipedia: Wikipedia List of undecidable problems#YLYQ, Halting problem (problem)

History

2026-11-02: add by m2/dev

Katherine St. John 9EGY54TJK5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#EAII, Katherine St. John (unknown)

History

2026-11-02: add by m2/dev

Spline wavelet 9EH5SMS1X2

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

Mentions

wikipedia: Wikipedia Spline wavelet, Spline wavelet (definition). Also Wikidata Q19840851

History

2026-11-02: add by m2/dev

9EH9G4AS4T 9EH9G4AS4T

URI	`m2://inv/9EH9G4AS4T`
Kind	statement
Layer	research
MSC	55-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.02244#3NH5 (statement). In 3REM2EXQK7/e1, lemma 2.9

History

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

9EHB67AET8 9EHB67AET8

URI	`m2://inv/9EHB67AET8`
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 1912.13357#GABM (definition). In K8CQDCYBR3/e1, definition

History

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

9EHC011Q95 9EHC011Q95

URI	`m2://inv/9EHC011Q95`
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#6DI7 (definition). In G2PA4KAGRP/e1, definition 2.7

History

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

9EHEJHY8MB 9EHEJHY8MB

URI	`m2://inv/9EHEJHY8MB`
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 2411.17227#CJFC (statement). In DDNP38CHQJ/e1, lemma 9.3

History

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

9EHEW8M6C7 9EHEW8M6C7

URI	`m2://inv/9EHEW8M6C7`
Kind	statement
Layer	research
MSC	03-XX, 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.22317#LOMB (statement). In 2W5Z97BBW4/e1, proposition 2.37

History

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

HX-63 9EHN4XCZN1

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

Mentions

wikipedia: Wikipedia HX-63, HX-63 (definition). Also Wikidata Q3125216

History

2026-11-02: add by m2/dev

Seasonal adjustment 9EHV0WEYM3

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

Mentions

wikipedia: Wikipedia Seasonal adjustment, Seasonal adjustment (definition). Also Wikidata Q622893

History

2026-11-02: add by m2/dev

Non-linear iterative partial least squares 9EJ5Y02762

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

Mentions

wikipedia: Wikipedia List of statistics articles#D4OC, Non-linear iterative partial least squares (definition)

History

2026-11-02: add by m2/dev

9EJ632EHHX 9EJ632EHHX

URI	`m2://inv/9EJ632EHHX`
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 2610.13746#01U8 (statement). In 70EJ0YJBQ7/e1, proposition 2.1

History

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

Examples 9EJ9W0RE3M

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

Mentions

wikipedia: Wikipedia Bimodule#EDYS, Examples (example)

History

2026-11-02: add by m2/dev

Adjoining an identity element (Dorroh extension) 9EJB5SGSN8

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

Mentions

wikipedia: Wikipedia Rng (algebra)#812R, Adjoining an identity element (Dorroh extension) (statement)

History

2026-11-02: add by m2/dev

9EJBF3V4S1 9EJBF3V4S1

URI	`m2://inv/9EJBF3V4S1`
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 2303.14022#XQSA (definition). In NSYR6W27FP/e1, definition 2.1

History

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

Journal of Computational and Applied Mathematics 9EJCK1JP28

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

Mentions

wikipedia: Wikipedia Journal of Computational and Applied Mathematics, Journal of Computational and Applied Mathematics (definition). Also Wikidata Q13739406

History

2026-11-02: add by m2/dev

K 9EJNC6Z7BC

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#TNBU, K (definition)

History

2026-11-02: add by m2/dev

Hell's Half Acre (Wyoming) 9EJVVQQ9NF

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

Mentions

wikipedia: Wikipedia List of places with numeric names#FLIG, Hell's Half Acre (Wyoming) (unknown)

History

2026-11-02: add by m2/dev

\protect{*{Lemma 3.2 9EK0JJQHE6

URI	`m2://inv/9EK0JJQHE6`
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.30575#KX9N, \protect{*{Lemma 3.2 (statement). In 6WFFY0QM27/e1, lemma 2.2

History

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

9EK599H755 9EK599H755

URI	`m2://inv/9EK599H755`
Kind	statement
Layer	research
MSC	11-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.18246#RWLU (statement). In SN6F0MPPVF/e1, theorem C

History

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

9EK5WN812H 9EK5WN812H

URI	`m2://inv/9EK5WN812H`
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 2610.18673#43YZ (statement). In 7ZFD9XRKA1/e1, corollary 6.9

History

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

Examples 9EK96MFYA0

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

Mentions

wikipedia: Wikipedia Parallelizable manifold#F74N, Examples (example)

History

2026-11-02: add by m2/dev

Centrifugal Potential 9EK990X7B6

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

Mentions

wikipedia: Wikipedia Centrifugal force#OYBE, Centrifugal Potential (unknown)

History

2026-11-02: add by m2/dev

9EKDSE8M5X 9EKDSE8M5X

URI	`m2://inv/9EKDSE8M5X`
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.36827#XH1Z (statement). In VSHAQTB2CA/e1, theorem C

History

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

Compressed hard-chain properties 9EKGTS61BR

URI	`m2://inv/9EKGTS61BR`
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.01843#KR8L, Compressed hard-chain properties (statement). In EDG9ZFDSWK/e1, lemma B.4

History

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

Examples 9EKPH6S29K

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

Mentions

wikipedia: Wikipedia Newtonian fluid#NFN9, Examples (example)

History

2026-11-02: add by m2/dev

9EKSRH5W1P 9EKSRH5W1P

URI	`m2://inv/9EKSRH5W1P`
Kind	definition
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 1903.07030#DE2M (definition). In 9H45HQE7AZ/e1, definition 2.19

History

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

Nominal fallacy 9EKT9MZZKM

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

Mentions

wikipedia: Wikipedia Nominal fallacy, Nominal fallacy (definition). Also Wikidata Q85789374

History

2026-11-02: add by m2/dev

9EKZ1TGSCC 9EKZ1TGSCC

URI	`m2://inv/9EKZ1TGSCC`
Kind	statement
Layer	research
MSC	16-XX, 18-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.21507#ZDLC (statement). In 879ZDHVK7N/e1, proposition 4.5

History

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

Controllability of the critical subsystem 9EM6RVM01T

URI	`m2://inv/9EM6RVM01T`
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.34938#06MP, Controllability of the critical subsystem (statement). In N57GZ5N6E1/e1, proposition 3

History

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

The field of real constructible numbers 9EMABR512G

URI	`m2://inv/9EMABR512G`
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.04317#TKKD, The field of real constructible numbers (example). In CF1X73QQ11/e1, example 5.1

History

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

Iwasawa algebra 9EMDCHFKJB

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

Mentions

wikidata: Wikidata Q6100701, Iwasawa algebra (unknown). Also nLab Iwasawa algebra
wikipedia: Wikipedia Iwasawa algebra, Iwasawa algebra (definition). Also Wikidata Q6100701

History

2026-10-26: add by m2/dev

Burkholder-Davis-Gundy inequalities 9EMJK0JMBF

URI	`m2://inv/9EMJK0JMBF`
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 2610.02901#IF9P, Burkholder-Davis-Gundy inequalities (statement). In NSP90G5XCQ/e1, lemma 2.8

History

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

Boundary 9EMN5MRVXX

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

Mentions

wikipedia: Wikipedia Boundary (graph theory), Boundary (definition). Also Wikidata Q106371443

History

2026-11-02: add by m2/dev

Statistical independence 9EMQM2JAVF

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

Mentions

wikipedia: Wikipedia List of statistics articles#M0WB, Statistical independence (definition)
wikipedia: Wikipedia List of probability topics#IU9K, Statistical independence (definition)

History

2026-11-02: add by m2/dev

Hessian group 9EMRT7YJVX

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

Mentions

wikipedia: Wikipedia Hessian group, Hessian group (definition). Also Wikidata Q5746239

History

2026-11-02: add by m2/dev

9EMW659M8M 9EMW659M8M

URI	`m2://inv/9EMW659M8M`
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.35287#7WRS (statement). In BPPBAWGPHJ/e1, theorem

History

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

The Code Book 9EN3YE4GM6

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

Mentions

wikipedia: Wikipedia The Code Book, The Code Book (definition). Also Wikidata Q1606854

History

2026-11-02: add by m2/dev

AM (complexity) 9EN6W0JJ0Z

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

Mentions

wikipedia: Wikipedia Arthur–Merlin protocol#8VDX, AM (complexity) (unknown)

History

2026-11-02: add by m2/dev

9EN8P0WMZM 9EN8P0WMZM

URI	`m2://inv/9EN8P0WMZM`
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.27823#007U (statement)

History

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

GL+ 9EN962E58D

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

Mentions

wikipedia: Wikipedia General linear group#Z84I, GL+ (unknown)

History

2026-11-02: add by m2/dev

Local invariant cycle theorem 9ENDR5REWT

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

Mentions

wikipedia: Wikipedia List of theorems#DF0Q, Local invariant cycle theorem (statement)

History

2026-11-02: add by m2/dev

9ENG8AT656 9ENG8AT656

URI	`m2://inv/9ENG8AT656`
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 2205.09049#1I4R (statement). In 37S7MNMZ2F/e1, proposition 18

History

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

9ENJ1GPHMA 9ENJ1GPHMA

URI	`m2://inv/9ENJ1GPHMA`
Kind	definition
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.16583#UIJC (definition). In 4RPXT0YCS5/e1, definition 6.2

History

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

Urban scaling 9ENS7W7MFJ

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

Mentions

wikipedia: Wikipedia Urban scaling, Urban scaling (definition). Also Wikidata Q20827351

History

2026-11-02: add by m2/dev

Statement 9ENZCNV6YF

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

Mentions

wikipedia: Wikipedia Stolz–Cesàro theorem#MKTL, Statement (statement)

History

2026-11-02: add by m2/dev

Bivariate von Mises distribution 9EP2M3MDQ0

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

Mentions

wikipedia: Wikipedia Bivariate von Mises distribution, Bivariate von Mises distribution (definition). Also Wikidata Q4919227

History

2026-11-02: add by m2/dev

9EP6GAXH3G 9EP6GAXH3G

URI	`m2://inv/9EP6GAXH3G`
Kind	definition
Layer	research
MSC	16-XX, 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 2609.21860#I7QR (definition)

History

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

First law of thermodynamics 9EPQ8Q9DZQ

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

Mentions

wikipedia: Wikipedia Conservation of energy#GEOT, First law of thermodynamics (statement)

History

2026-11-02: add by m2/dev

Augmented truncated tetrahedron 9EQADVJ1WK

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#R5Q3, Augmented truncated tetrahedron (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#CUHY, Augmented truncated tetrahedron (definition)

History

2026-11-02: add by m2/dev

9EQED79DWA 9EQED79DWA

URI	`m2://inv/9EQED79DWA`
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.03555#J1H2 (statement). In 9JZJTRRVR1/e1, lemma 8.3

History

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

9EQJQNVAQB 9EQJQNVAQB

URI	`m2://inv/9EQJQNVAQB`
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.01924#0RBY (statement). In CB89152EQW/e1, lemma 11

History

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

Theorem 9EQV2NF7S5

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

Mentions

wikipedia: Wikipedia Sims conjecture#6KJC, Theorem (statement)

History

2026-11-02: add by m2/dev

9EQYF4JJS7 9EQYF4JJS7

URI	`m2://inv/9EQYF4JJS7`
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.01928#722W (statement). In BSJRRHKGX0/e1, proposition 6.1

History

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

Examples 9ER3QC53TF

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

Mentions

wikipedia: Wikipedia Segre class#IVTA, Examples (example)

History

2026-11-02: add by m2/dev

Hölder's inequality 9ER3ZTN3PR

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

Mentions

wikipedia: Wikipedia Lp space#OSRT, Hölder's inequality (statement)

History

2026-11-02: add by m2/dev

Jordan–Hölder theorem 9ER789N3TC

URI	`m2://inv/9ER789N3TC`
Kind	statement
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Jordan–Hölder theorem 0E088ZP533

Mentions

wikidata: Wikidata Q737458, Jordan–Hölder theorem (statement). Also MathWorld Jordan-HoelderTheorem

History

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

Applications 9ER9K66VFM

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

Mentions

wikipedia: Wikipedia Feedback arc set#UQ6O, Applications (example)

History

2026-11-02: add by m2/dev

Theorem 9ERSV7TVBJ

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

Mentions

wikipedia: Wikipedia Weyl algebra#MFUC, Theorem (statement)

History

2026-11-02: add by m2/dev

Bochner-space and stochastic-Galerkin robustness 9ERT65ZN80

URI	`m2://inv/9ERT65ZN80`
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.30559#7C12, Bochner-space and stochastic-Galerkin robustness (statement). In 5A9CKXWT3H/e1, corollary 13

History

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

9ERV33RVQG 9ERV33RVQG

URI	`m2://inv/9ERV33RVQG`
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.35558#KU6C (statement). In HR2TQ292AE/e1, corollary 3.5

History

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

Filippov solution 9ES48YSS63

URI	`m2://inv/9ES48YSS63`
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.20031#VWQG, Filippov solution (definition)

History

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

9ES4AGGFYR 9ES4AGGFYR

URI	`m2://inv/9ES4AGGFYR`
Kind	statement
Layer	research
MSC	26-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 2610.06152#URZ6 (statement). In HH35K7S17H/e1, proposition 4.8

History

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

9ES4HSDXZQ 9ES4HSDXZQ

URI	`m2://inv/9ES4HSDXZQ`
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 2610.20131#N3OS (statement). In 29D4TTE3J2/e1, lemma 6.9

History

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

9ES8K3G0T5 9ES8K3G0T5

URI	`m2://inv/9ES8K3G0T5`
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#NJ1E (statement). In MB29RAAQMG/e1, lemma 3.4

History

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

9ESE8W8BYV 9ESE8W8BYV

URI	`m2://inv/9ESE8W8BYV`
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.15472#HGCJ (statement). In 5Z3FH46YSY/e1, lemma 3.2

History

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

9ESFHJ0DGV 9ESFHJ0DGV

URI	`m2://inv/9ESFHJ0DGV`
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.06381#5CUH (statement). In X9JKBDHACW/e1, theorem 2.1

History

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

Stationary-class calculus 9ESK0MJWXA

URI	`m2://inv/9ESK0MJWXA`
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#A44Z, Stationary-class calculus (statement). In 5BZQS1KY9A/e1, lemma 4.3

History

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

Finite vector space 9ESMF2AEFS

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

Mentions

wikipedia: Wikipedia Examples of vector spaces#QPDB, Finite vector space (unknown)

History

2026-11-02: add by m2/dev

9ESPJ11MC3 9ESPJ11MC3

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

Mentions

napkin: napkin tex/complex-ana/holomorphic.tex#sproblem-1 (exercise). In RZP28ERRZV, sproblem, section 39.7.2

History

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

Formal definition 9ESPZ1TQ19

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

Mentions

wikipedia: Wikipedia Fraction of variance unexplained#G5F4, Formal definition (definition)

History

2026-11-02: add by m2/dev

9EST0385V4 9EST0385V4

URI	`m2://inv/9EST0385V4`
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 2206.05392#13EJ (statement). In 58D1ZC82DW/e1, lemma 32

History

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

9ESX8AK0ZG 9ESX8AK0ZG

URI	`m2://inv/9ESX8AK0ZG`
Kind	statement
Layer	research
MSC	26-XX, 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 1008.4254#VCEP (statement). In SXTX59QBVT/e1, lemma 4.7

History

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

suspension 9ESXA3QRXQ

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

Mentions

hott_book: hott_book index/5.5/suspension, suspension (concept). In N54F33XE07, index, section 5.5

History

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

equality, symmetry of 9ESY30FDD4

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

Mentions

hott_book: hott_book index/1.1/equality-symmetry-of, equality, symmetry of (concept). In N54F33XE07, index, section 1.1

History

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

9ET04PFAXA 9ET04PFAXA

URI	`m2://inv/9ET04PFAXA`
Kind	statement
Layer	research
MSC	11-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.18246#HIWM (statement). In SN6F0MPPVF/e1, lemma 4.3

History

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

subset dif\/feology 9ET3F04JGF

URI	`m2://inv/9ET3F04JGF`
Kind	definition
Layer	research
MSC	53-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 1408.1555#0RJW, subset dif\/feology (definition). In S1F2QW24YW/e1, definition 2.9

History

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

9ET7M42VA4 9ET7M42VA4

URI	`m2://inv/9ET7M42VA4`
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.24569#NXUS (statement)

History

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

9ET9ARAKSW 9ET9ARAKSW

URI	`m2://inv/9ET9ARAKSW`
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.07828#1LOA (statement). In TWGMVT1N1G/e1, proposition 2.10

History

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

Pi Approximation Day 9ETGYHX735

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

Mentions

wikipedia: Wikipedia Pi Day#HFO2, Pi Approximation Day (unknown)

History

2026-11-02: add by m2/dev

The inequality 9ETJGDAP1Z

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

Mentions

wikipedia: Wikipedia AM–GM inequality#ANX8, The inequality (statement)

History

2026-11-02: add by m2/dev

9ETKMER0RZ 9ETKMER0RZ

URI	`m2://inv/9ETKMER0RZ`
Kind	definition
Layer	research
MSC	20-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.07293#LUCH (definition). In V1GVYM0WQG/e1, definition 3.1

History

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

9ETP1YF0R6 9ETP1YF0R6

URI	`m2://inv/9ETP1YF0R6`
Kind	statement
Layer	research
MSC	16-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 2609.21703#QP73 (statement)

History

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

9ETPVXHK8V 9ETPVXHK8V

URI	`m2://inv/9ETPVXHK8V`
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 2609.31216#4K41 (statement). In M9CSGRSRB3/e1, theorem 3.5

History

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

Osterwalder–Schrader theorem 9ETSXEA7HB

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

Mentions

wikipedia: Wikipedia Schwinger function#OU1U, Osterwalder–Schrader theorem (statement)

History

2026-11-02: add by m2/dev

9ETZ12D5BK 9ETZ12D5BK

URI	`m2://inv/9ETZ12D5BK`
Kind	statement
Layer	research
MSC	26-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 0902.4479#IHNO (statement). In Q6HKX2FCFG/e1, theorem 2.1

History

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

9ETZJNMK3G 9ETZJNMK3G

URI	`m2://inv/9ETZJNMK3G`
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#2YPY (statement)

History

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

Spectral bias 9EV580T1B8

URI	`m2://inv/9EV580T1B8`
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.38267#FOAY, Spectral bias (statement). In 518V871EKW/e1, lemma 4.5

History

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

free choice sequence 9EV9NSM5DM

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

Mentions

wikipedia: Wikipedia Glossary of logic#Y076, free choice sequence (definition)

History

2026-11-02: add by m2/dev

9EVEEHP2Z0 9EVEEHP2Z0

URI	`m2://inv/9EVEEHP2Z0`
Kind	statement
Layer	research
MSC	53-XX, 57-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 2610.17045#NLYS (statement). In PA6JQDSKQT/e1, proposition 3.19

History

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

Plünnecke-Ruzsa inequality 9EVV6K7YD9

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

Mentions

wikipedia: Wikipedia Plünnecke–Ruzsa inequality#R068, Plünnecke-Ruzsa inequality (statement)

History

2026-11-02: add by m2/dev

9EVVSJMG64 9EVVSJMG64

URI	`m2://inv/9EVVSJMG64`
Kind	statement
Layer	research
MSC	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.21092#3W9G (statement). In AGJE43FTF8/e1, lemma 4.14

History

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

Lemniscate 9EW0QA33Y8

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

Mentions

wikipedia: Wikipedia List of curves#1FHV, Lemniscate (definition)

History

2026-11-02: add by m2/dev

irreducible element 9EW0SZJM7E

URI	`m2://inv/9EW0SZJM7E`
Kind	definition
Layer	textbook
Sources	4
Outcome	node (a node has the same name as the row)
Node	Irreducible element 052SDEPZH7

Mentions

mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > irreducible element, irreducible element (unknown). Also Mathlib Irreducible
mathlib_overview: mathlib_overview General algebra > Polynomials and power series > irreducible polynomial, irreducible polynomial (unknown). Also Mathlib Irreducible
mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > irreducible elements, irreducible elements (unknown). Also Mathlib Irreducible
mathlib_undergrad: mathlib_undergrad Ring Theory > Polynomial rings > irreducible polynomial, irreducible polynomial (unknown). Also Mathlib Irreducible
wikidata: Wikidata Q2989575, irreducible element (unknown). Also Mathlib Irreducible, MathWorld IrreducibleElement, nLab irreducible element
wikipedia: Wikipedia Irreducible element, Irreducible element (definition). Also Wikidata Q2989575

History

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

Robust records under finite second moments 9EW17AC6P3

URI	`m2://inv/9EW17AC6P3`
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.15202#CZ18, Robust records under finite second moments (statement). In X1FPG0KYBM/e1, lemma T.1

History

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

9EW2E67R0X 9EW2E67R0X

URI	`m2://inv/9EW2E67R0X`
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 2210.02997#16GM (statement). In KEXVYV0SNS/e1, theorem 9

History

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

Topological operad 9EW6M1SB5F

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

Mentions

wikipedia: Wikipedia Operad#WGFD, Topological operad (unknown)

History

2026-11-02: add by m2/dev

Equivalent forms of Zorn's lemma 9EW854XEFA

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

Mentions

wikipedia: Wikipedia Zorn's lemma#AQ3C, Equivalent forms of Zorn's lemma (statement)

History

2026-11-02: add by m2/dev

9EWAE35XHM 9EWAE35XHM

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

Mentions

napkin: napkin tex/cats/categories.tex#ex:basic_categories (example). In RZP28ERRZV, example, section 36.2

History

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

9EWD9JQK76 9EWD9JQK76

URI	`m2://inv/9EWD9JQK76`
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.00339#40UH (statement). In ZRG6NY1ECH/e1, lemma 15

History

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

9EWDTX89XM 9EWDTX89XM

URI	`m2://inv/9EWDTX89XM`
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.35467#45VA (statement). In FK89DQ9J4S/e1, proposition 6.4

History

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

Regulated integral 9EWG82V0GD

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

Mentions

wikipedia: Wikipedia Regulated integral, Regulated integral (definition). Also Wikidata Q7309636

History

2026-11-02: add by m2/dev

Goldbach's weak conjecture 9EWN1D1XPQ

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

Mentions

wikidata: Wikidata Q2272638, Goldbach's weak conjecture (conjecture). Also ProofWiki Goldbach's_Weak_Conjecture
wikipedia: Wikipedia Goldbach's weak conjecture, Goldbach's weak conjecture (statement). Also Wikidata Q2272638

History

2026-10-26: add by m2/dev

9EWW4WTBNW 9EWW4WTBNW

URI	`m2://inv/9EWW4WTBNW`
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.11047#FD73 (statement). In MNQAZ70XTH/e1, proposition 3.11

History

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

Applications 9EWWA98FYJ

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

Mentions

wikipedia: Wikipedia Weil conjectures#7CNC, Applications (example)

History

2026-11-02: add by m2/dev

Serre's theorem on affineness 9EWY68ZKZ4

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

Mentions

wikipedia: Wikipedia Serre's theorem on affineness, Serre's theorem on affineness (statement). Also Wikidata Q25098884

History

2026-11-02: add by m2/dev

Fredrik Lange-Nielsen 9EX61PWSXT

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

Mentions

wikipedia: Wikipedia Fredrik Lange-Nielsen, Fredrik Lange-Nielsen (topic). Also Wikidata Q5499485

History

2026-11-02: add by m2/dev

gingerbreadman map 9EX9Q3WA5X

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

Mentions

wikidata: Wikidata Q5563092, gingerbreadman map (concept). Also MathWorld GingerbreadmanMap

History

2026-10-26: add by m2/dev

positive-degree trivialization 9EXXJAFM7S

URI	`m2://inv/9EXXJAFM7S`
Kind	statement
Layer	research
MSC	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.26286#YSA0, positive-degree trivialization (statement)

History

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

9EY0BEEAB3 9EY0BEEAB3

URI	`m2://inv/9EY0BEEAB3`
Kind	example
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.11383#4K02 (example). In DJBZ3V8SQ6/e1, example 3.2

History

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

9EY1JGC8K6 9EY1JGC8K6

URI	`m2://inv/9EY1JGC8K6`
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.10230#SKDO (definition). In YS75517SF7/e1, definition 2.1

History

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

Formula 9EY24H64V1

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

Mentions

wikipedia: Wikipedia Triangular number#UYY5, Formula (statement)

History

2026-11-02: add by m2/dev

Good Event 6 9EY2A9RZTZ

URI	`m2://inv/9EY2A9RZTZ`
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.04600#UHPV, Good Event 6 (statement). In 4V64K0DYSV/e1, lemma I.7

History

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

9EY9KWCS06 9EY9KWCS06

URI	`m2://inv/9EY9KWCS06`
Kind	definition
Layer	research
MSC	30-XX, 32-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 2610.10505#WZ4U (definition). In JW8HH6EPG2/e1, definition

History

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

9EYNQYB19R 9EYNQYB19R

URI	`m2://inv/9EYNQYB19R`
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.20119#JIU0 (statement)

History

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

Mary Beisiegel 9EYTPNES74

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

Mentions

wikipedia: Wikipedia Mary Beisiegel, Mary Beisiegel (topic). Also Wikidata Q102356463

History

2026-11-02: add by m2/dev

9EYV8CN4A9 9EYV8CN4A9

URI	`m2://inv/9EYV8CN4A9`
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 2609.38735#4XA4 (statement). In XZ71J0DQSE/e1, theorem 1.1

History

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

Sergiy Vilkomir 9EYZH12THZ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#K1JD, Sergiy Vilkomir (unknown)

History

2026-11-02: add by m2/dev

Differential of a function 9EZDGHA3TP

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

Mentions

wikipedia: Wikipedia List of real analysis topics#MJCX, Differential of a function (definition)

History

2026-11-02: add by m2/dev

9EZDT0ZY2Y 9EZDT0ZY2Y

URI	`m2://inv/9EZDT0ZY2Y`
Kind	statement
Layer	research
MSC	20-XX, 55-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.20932#87AE (statement). In FV78KV64B9/e1, theorem C

History

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

Domain neglect 9EZEYJRE05

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

Mentions

wikipedia: Wikipedia List of cognitive biases#7HZ7, Domain neglect (unknown)

History

2026-11-02: add by m2/dev

9EZFJ4G36S 9EZFJ4G36S

URI	`m2://inv/9EZFJ4G36S`
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.21322#KU5Y (statement). In CNDA8DBEGD/e1, proposition 6.4

History

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

Chebyshev center 9EZNJ0V97S

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

Mentions

wikipedia: Wikipedia Chebyshev center, Chebyshev center (definition). Also Wikidata Q5089012

History

2026-11-02: add by m2/dev

9EZXG2S7QR 9EZXG2S7QR

URI	`m2://inv/9EZXG2S7QR`
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.30663#SPI2 (statement). In 3JZDKWS8NK/e1, proposition 5.2

History

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

Károly Bezdek 9E042RYXEA

Mentions

History

9E055SHY5D 9E055SHY5D

Mentions

History

Lindelöf's theorem 9E0ATYCXN3

Mentions

History

Bryan Cantley 9E0CH1258Q

Mentions

History

Cancellation of one Hessian 9E0HRWBW3A

Mentions

History

nephroid 9E0MJ350FW

Mentions

History

9E0PPQ3WH1 9E0PPQ3WH1

Mentions

History

Abraham Nemeth 9E140DAA0F

Mentions

History

Pseudomedian 9E1G1Z4DPB

Mentions

History

9E1SPKJJAT 9E1SPKJJAT

Mentions

History

Horizontal asymptote 9E1SSJR8J2

Mentions

History

Trapezoidal-cell \(q\)-Zeta formula 9E1V7YVPVK

Mentions

History

9E1X10RETB 9E1X10RETB

Mentions

History

Deterministic conditional correction 9E2601EPD9

Mentions

History

The Frobenius element 9E27ZT3R1W

Mentions

History

Toy model I 9E282P33AX

Mentions

History

9E2FP9DACV 9E2FP9DACV

Mentions

History

Examples 9E2FVQSA10

Mentions

History

Analytic epidemiologic study 9E2SS9RW1R

Mentions

History

9E2T4VA7TF 9E2T4VA7TF

Mentions

History

The lifting theorem with infinite unitary input 9E2V3SXTP0

Mentions

History

9E2VCYXYQ3 9E2VCYXYQ3

Mentions

History

alternating series 9E2W5KQ456

Mentions

History

Russian roulette 9E30TX63XY

Mentions

History

9E3ASWGKFF 9E3ASWGKFF

Mentions

History

Standard-degree-zero master formula 9E3BNPE7BN

Mentions

History

August Friedrich Müller 9E3BTNPGNX

Mentions