Inventory rows TV

TV09N5TAHN TV09N5TAHN

URI	`m2://inv/TV09N5TAHN`
Kind	statement
Layer	research
MSC	11-XX, 20-XX, 22-XX, 46-XX, 47-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35543#MYY8 (statement). In WSG1ZW956E/e1, theorem 1.1

History

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

WWA property TV0GXYJQAQ

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

Mentions

wikipedia: Wikipedia Thin set (Serre)#BEER, WWA property (unknown)

History

2026-11-02: add by m2/dev

Median voter theorem TV0PXHJ6AF

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

Mentions

wikipedia: Wikipedia Social choice theory#UZ0H, Median voter theorem (statement)

History

2026-11-02: add by m2/dev

TV0XRMCM7M TV0XRMCM7M

URI	`m2://inv/TV0XRMCM7M`
Kind	statement
Layer	research
MSC	30-XX, 32-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.06719#6O56 (statement). In CBSA058Y53/e1, corollary 2.11

History

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

Steinberg formula TV0YHTQ64R

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

Mentions

wikipedia: Wikipedia Steinberg formula, Steinberg formula (statement). Also Wikidata Q7606828

History

2026-11-02: add by m2/dev

Applications TV103JEBP2

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

Mentions

wikipedia: Wikipedia Crown graph#B820, Applications (example)

History

2026-11-02: add by m2/dev

TV128R1C6A TV128R1C6A

URI	`m2://inv/TV128R1C6A`
Kind	statement
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2212.05398#0343 (statement). In WQKQ8438M7/e1, theorem 4.3

History

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

Explicit formula TV12JZ4H63

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

Mentions

wikipedia: Wikipedia Bernoulli polynomials of the second kind#IGWV, Explicit formula (statement)

History

2026-11-02: add by m2/dev

Comonotonicity TV147VQDSJ

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

Mentions

wikipedia: Wikipedia List of statistics articles#PQ7Y, Comonotonicity (definition)

History

2026-11-02: add by m2/dev

Basic Law V TV149FXH2S

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

Mentions

wikipedia: Wikipedia Glossary of logic#3JFY, Basic Law V (definition)

History

2026-11-02: add by m2/dev

TV163414JK TV163414JK

URI	`m2://inv/TV163414JK`
Kind	statement
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.09298#PN9O (statement). In 1SPQ4J3AWY/e1, proposition 3.7

History

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

Krull–Schmidt theorem for modules TV17TF132T

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

Mentions

wikipedia: Wikipedia Krull–Schmidt theorem#LC4G, Krull–Schmidt theorem for modules (statement)

History

2026-11-02: add by m2/dev

Positive differences and increment support TV1AB8VZDP

URI	`m2://inv/TV1AB8VZDP`
Kind	statement
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#MMU6, Positive differences and increment support (statement)

History

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

domatic number TV1AERB9GG

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

Mentions

wikidata: Wikidata Q3343067, domatic number (unknown). Also MathWorld DomaticNumber
wikipedia: Wikipedia Domatic number, Domatic number (definition). Also Wikidata Q3343067

History

2026-10-26: add by m2/dev

TV1HTB47HB TV1HTB47HB

URI	`m2://inv/TV1HTB47HB`
Kind	problem
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 2403.15255#7EJL (problem). In G691MXMYW0/e1, problem 5.3

History

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

Examples TV1NV6NQ7C

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

Mentions

wikipedia: Wikipedia Approximation error#Y7WV, Examples (example)

History

2026-11-02: add by m2/dev

The Hadamard matrix TV1P4FK3A3

URI	`m2://inv/TV1P4FK3A3`
Kind	definition
Layer	research
MSC	11-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.14380#GSVD, The Hadamard matrix (definition). In 2ZRQP063HP/e1, definition 2.4

History

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

Yoshiro Mori TV1XRR09MP

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

Mentions

wikipedia: Wikipedia Yoshiro Mori (mathematician), Yoshiro Mori (topic). Also Wikidata Q8056265

History

2026-11-02: add by m2/dev

Magnetic Potential Energy TV211BRJX0

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

Mentions

wikipedia: Wikipedia Potential energy#9FNP, Magnetic Potential Energy (unknown)

History

2026-11-02: add by m2/dev

TV2D0D3DRE TV2D0D3DRE

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/more-proofs-in-K.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 50.6

History

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

The (N2) criterion TV2G1CEY4C

URI	`m2://inv/TV2G1CEY4C`
Kind	statement
Layer	research
MSC	18-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.33469#BB0F, The (N2) criterion (statement). In TC5QA4AB4Z/e1, theorem 3.4

History

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

TV2HXCHH2W TV2HXCHH2W

URI	`m2://inv/TV2HXCHH2W`
Kind	statement
Layer	research
MSC	37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.31126#8FEQ (statement). In GK1V5GEHTK/e1, corollary 3.6

History

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

TV2RZN10RD TV2RZN10RD

URI	`m2://inv/TV2RZN10RD`
Kind	statement
Layer	research
MSC	51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.06806#SORY (statement). In ZZQT0GFMT2/e1, proposition 1.3

History

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

TV2VBZXMCN TV2VBZXMCN

URI	`m2://inv/TV2VBZXMCN`
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.04398#ICN5 (statement). In DFZWC9HY0T/e1, proposition 1.2

History

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

FNP TV2W4ZA6AV

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

Mentions

wikipedia: Wikipedia FNP (complexity), FNP (definition). Also Wikidata Q2898287

History

2026-11-02: add by m2/dev

residual TV3MQ7K4ES

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#5EEP, residual (definition)

History

2026-11-02: add by m2/dev

Eugen Jahnke TV3PA3GMRQ

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WM11, Eugen Jahnke (topic)
wikipedia: Wikipedia List of German mathematicians#F70A, Eugen Jahnke (topic)

History

2026-11-02: add by m2/dev

Associate family TV3SXDYYBR

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

Mentions

wikipedia: Wikipedia Associate family, Associate family (definition). Also Wikidata Q4809138

History

2026-11-02: add by m2/dev

TV3Y4C8WDJ TV3Y4C8WDJ

URI	`m2://inv/TV3Y4C8WDJ`
Kind	statement
Layer	research
MSC	11-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.00134#XC5D (statement). In S654779J5P/e1, lemma 8.1

History

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

Ellingham–Horton graph TV3YV1VAFN

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

Mentions

wikidata: Wikidata Q2817463, Ellingham–Horton graph (unknown). Also MathWorld Ellingham-HortonGraphs
wikipedia: Wikipedia Ellingham–Horton graph, Ellingham–Horton graph (definition). Also Wikidata Q2817463

History

2026-10-26: add by m2/dev

biology TV41R802GB

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

Mentions

wikidata: Wikidata Q420, biology (unknown). Also nLab biology

History

2026-10-26: add by m2/dev

$\Site_\pt$ has all finite products TV428YEHSR

URI	`m2://inv/TV428YEHSR`
Kind	statement
Layer	research
MSC	18-XX, 60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.26270#E03S, $\Site_\pt$ has all finite products (statement)

History

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

Subendpoint necessity of the weighted threshold TV4JF83BV8

URI	`m2://inv/TV4JF83BV8`
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.20643#K1MN, Subendpoint necessity of the weighted threshold (statement)

History

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

TV4PZB1EB2 TV4PZB1EB2

URI	`m2://inv/TV4PZB1EB2`
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 2308.02672#BJSC (statement). In ETRT1R1CQ8/e1, theorem 1.1

History

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

Gang Tian TV4QR2D2BC

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9LZQ, Gang Tian (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QMJP, Gang Tian (topic)

History

2026-11-02: add by m2/dev

TV51M8BKTP TV51M8BKTP

URI	`m2://inv/TV51M8BKTP`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24578#QMSS (statement)

History

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

Lower-level existence and uniqueness TV52ZHD1ZT

URI	`m2://inv/TV52ZHD1ZT`
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.00033#AJL9, Lower-level existence and uniqueness (statement). In SHMMW4JXZ1/e1, theorem 1

History

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

TV5GTYC0M2 TV5GTYC0M2

URI	`m2://inv/TV5GTYC0M2`
Kind	statement
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 2610.03083#AEX1 (statement). In C71DZH5GBJ/e1, proposition 2.2

History

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

Combinatorial commutative algebra TV5H792JSN

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#PKPS, Combinatorial commutative algebra (definition)

History

2026-11-02: add by m2/dev

King effect TV5HN01KGM

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

Mentions

wikipedia: Wikipedia King effect, King effect (definition). Also Wikidata Q6412185

History

2026-11-02: add by m2/dev

TV5PZ84GSY TV5PZ84GSY

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#prop:topology:ballsopenclosed (statement). In E59CDZA4DP, prop, section 4.2.1

History

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

Strang splitting TV5R26XVWN

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

Mentions

wikipedia: Wikipedia List of operator splitting topics#2H8N, Strang splitting (definition)

History

2026-11-02: add by m2/dev

TV5WSFPG9S TV5WSFPG9S

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

Mentions

napkin: napkin tex/diffgeo/forms.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 43.5

History

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

Vojta's conjecture TV5XPY3GJ3

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#5L3Q, Vojta's conjecture (conjecture)

History

2026-11-02: add by m2/dev

Formal definitions TV69M6PMTP

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

Mentions

wikipedia: Wikipedia Cut point#L0R6, Formal definitions (definition)

History

2026-11-02: add by m2/dev

TV6HDFPKDG TV6HDFPKDG

URI	`m2://inv/TV6HDFPKDG`
Kind	statement
Layer	research
MSC	37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2012.11507#X0UZ (statement). In DZA5P853H9/e1, theorem 4

History

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

TV6J3DS20A TV6J3DS20A

URI	`m2://inv/TV6J3DS20A`
Kind	definition
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.40054#E0FH (definition). In CA4C9PFM1E/e1, definition 4.2.5

History

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

graph embedding TV6KNZ6H42

URI	`m2://inv/TV6KNZ6H42`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Graph embedding CG91WNMG2T

Mentions

wikidata: Wikidata Q5597085, graph embedding (unknown). Also MathWorld GraphEmbedding
wikipedia: Wikipedia Graph embedding, Graph embedding (definition). Also Wikidata Q5597085

History

2026-10-26: add by m2/dev

TV6N35MFEG TV6N35MFEG

URI	`m2://inv/TV6N35MFEG`
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.08837#7QH0 (statement). In KBH265QSBT/e1, proposition 6.6

History

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

Luigi Bianchi TV6NNR5C4E

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

Mentions

wikipedia: Wikipedia Luigi Bianchi, Luigi Bianchi (topic). Also Wikidata Q726764

History

2026-11-02: add by m2/dev

Examples TV6WQDR3T3

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

Mentions

wikipedia: Wikipedia Appeal to the law#9IS8, Examples (example)

History

2026-11-02: add by m2/dev

Related theorems TV6Y6XMJHZ

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

Mentions

wikipedia: Wikipedia Ursescu theorem#7F5W, Related theorems (statement)

History

2026-11-02: add by m2/dev

Father wavelets TV71MWF6EW

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

Mentions

wikipedia: Wikipedia Wavelet#ZRCK, Father wavelets (unknown)

History

2026-11-02: add by m2/dev

TV737A0DA6 TV737A0DA6

URI	`m2://inv/TV737A0DA6`
Kind	statement
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 1010.3284#C4RD (statement). In 7D3VBRZGMY/e1, proposition 2.5

History

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

affiliated operator TV767XR6QB

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

Mentions

wikidata: Wikidata Q4688920, affiliated operator (unknown). Also nLab affiliated operator
wikipedia: Wikipedia Affiliated operator, Affiliated operator (definition). Also Wikidata Q4688920

History

2026-10-26: add by m2/dev

TV76PD3Y2T TV76PD3Y2T

URI	`m2://inv/TV76PD3Y2T`
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 2610.01653#498U (statement). In WZMHJCQPB2/e1, proposition 4.2

History

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

Hypothesis testing TV7PPJSAJB

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

Mentions

wikipedia: Wikipedia Confidence distribution#IWY2, Hypothesis testing (statement)

History

2026-11-02: add by m2/dev

Minkowski's theorem TV7WCK7KC2

URI	`m2://inv/TV7WCK7KC2`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	4
Outcome	node (a node has the same name as the row)
Node	Minkowski's theorem 0K387S2PKQ

Mentions

mathlib_100: mathlib_100 40, Minkowski’s Fundamental Theorem (statement). Also Mathlib MeasureTheory.exists_ne_zero_mem_lattice_of_measure_mul_two_pow_lt_measure
mathlib_1000: mathlib_1000 Q1097021, Minkowski's theorem (statement). Also Mathlib MeasureTheory.exists_ne_zero_mem_lattice_of_measure_mul_two_pow_lt_measure, Wikidata Q1097021
thousand_plus: thousand_plus Q1097021, Minkowski's theorem (statement). Also Mathlib MeasureTheory.exists_ne_zero_mem_lattice_of_measure_mul_two_pow_lt_measure, Wikidata Q1097021, Wikipedia Minkowski's theorem
wikipedia: Wikipedia Minkowski's theorem, Minkowski's theorem (statement). Also Wikidata Q1097021

History

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

Dold–Thom theorem TV8673PTW9

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

Mentions

wikipedia: Wikipedia List of theorems#Z0MN, Dold–Thom theorem (statement)

History

2026-11-02: add by m2/dev

Indefinite and fictitious numbers TV887BDPVR

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

Mentions

wikipedia: Wikipedia Indefinite and fictitious numbers, Indefinite and fictitious numbers (definition). Also Wikidata Q16000462

History

2026-11-02: add by m2/dev

TV8CH0TTZ3 TV8CH0TTZ3

URI	`m2://inv/TV8CH0TTZ3`
Kind	example
Layer	research
MSC	35-XX, 49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.27918#V9P4 (example)

History

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

TV8RJR17Y5 TV8RJR17Y5

URI	`m2://inv/TV8RJR17Y5`
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.24807#LI6K (statement)

History

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

TV8S1WKCGN TV8S1WKCGN

URI	`m2://inv/TV8S1WKCGN`
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.24412#IQJP (statement)

History

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

Third law TV8SFK55PT

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

Mentions

wikipedia: Wikipedia Newton's laws of motion#E2UR, Third law (statement)

History

2026-11-02: add by m2/dev

Completely metrizable/completely metrisable TV8SKMP0AB

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

Mentions

wikipedia: Wikipedia Glossary of general topology#TCIV, Completely metrizable/completely metrisable (definition)

History

2026-11-02: add by m2/dev

TV8WJD6DFV TV8WJD6DFV

URI	`m2://inv/TV8WJD6DFV`
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 2609.36725#QWN4 (statement). In AR26SZ8JGN/e1, lemma 2.4

History

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

Fagnano's problem TV8WMEXKX4

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

Mentions

wikipedia: Wikipedia List of triangle topics#L2UG, Fagnano's problem (problem)

History

2026-11-02: add by m2/dev

McNeish's theorem TV8YMB3KES

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

Mentions

wikipedia: Wikipedia Mutually orthogonal Latin squares#XF03, McNeish's theorem (statement)

History

2026-11-02: add by m2/dev

Conjecture 1 (No quantum error correction) TV8ZYFK3FD

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

Mentions

wikipedia: Wikipedia Gil Kalai#8T1X, Conjecture 1 (No quantum error correction) (statement)

History

2026-11-02: add by m2/dev

Diagonally dominant matrix TV8ZZBXZA9

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

Mentions

wikipedia: Wikipedia Diagonally dominant matrix, Diagonally dominant matrix (definition). Also Wikidata Q952222

History

2026-11-02: add by m2/dev

Weil height TV90G72XCX

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

Mentions

wikipedia: Wikipedia List of things named after André Weil#2DDU, Weil height (definition)

History

2026-11-02: add by m2/dev

Carroll, Mavis B. TV986Q2JGW

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

Mentions

wikipedia: Wikipedia List of statisticians#LJJP, Carroll, Mavis B. (topic)

History

2026-11-02: add by m2/dev

Academy for the Mathematical Sciences TV99Q2B4M1

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

Mentions

wikipedia: Wikipedia Academy for the Mathematical Sciences, Academy for the Mathematical Sciences (topic). Also Wikidata Q138535199

History

2026-11-02: add by m2/dev

TV9BFK1KHA TV9BFK1KHA

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-218 (exercise). In VNMV985MXX, exercise, section 4.4

History

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

Lonely runner conjecture TV9KY6YR3D

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

Mentions

wikipedia: Wikipedia Lonely runner conjecture, Lonely runner conjecture (conjecture). Also Wikidata Q6671695

History

2026-11-02: add by m2/dev

TV9NCPDKEJ TV9NCPDKEJ

URI	`m2://inv/TV9NCPDKEJ`
Kind	statement
Layer	research
MSC	20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2504.19468#G9MF (statement). In EY54F2SX08/e1, proposition 6.9

History

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

Definition TV9R5WH7DW

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

Mentions

wikipedia: Wikipedia Young's lattice#2Z29, Definition (definition)

History

2026-11-02: add by m2/dev

TV9SCP3MQE TV9SCP3MQE

URI	`m2://inv/TV9SCP3MQE`
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.01803#22KY (statement). In J6N4X33BME/e1, proposition 7

History

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

TV9TJRZNAZ TV9TJRZNAZ

URI	`m2://inv/TV9TJRZNAZ`
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.18859#IRGI (statement). In PSH9N14H7V/e1, theorem 2.2

History

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

TVA41KWJND TVA41KWJND

URI	`m2://inv/TVA41KWJND`
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.05696#CZCN (statement). In MG81A9XJTQ/e1, corollary VI.1

History

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

Digital Divide TVA7TQHQ8Z

URI	`m2://inv/TVA7TQHQ8Z`
Kind	topic
Layer	textbook
MSC	62P25, 91B15, 91B82, 91B92
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q81425608, Digital Divide (topic)

History

2026-10-26: add by m2/dev

Fundamental theorem TVA8ET84BM

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

Mentions

wikipedia: Wikipedia Calculus#DV7J, Fundamental theorem (statement)

History

2026-11-02: add by m2/dev

TVAHNV79K7 TVAHNV79K7

URI	`m2://inv/TVAHNV79K7`
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.31604#WSXG (statement). In GSN5YTQS2K/e1, proposition 4.2

History

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

Scalar kinks in one dimension TVAP19SPQ3

URI	`m2://inv/TVAP19SPQ3`
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.32695#D54W, Scalar kinks in one dimension (statement). In VQSF2E35BX/e1, theorem 2.1

History

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

\bf Oracle TVAQRDQYZV

URI	`m2://inv/TVAQRDQYZV`
Kind	problem
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.02791#NCVM, \bf Oracle (problem). In TT9BA4VMTW/e1, problem 3

History

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

Lot quality assurance sampling TVAR5GYAE7

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

Mentions

wikipedia: Wikipedia List of statistics articles#SQEU, Lot quality assurance sampling (definition)

History

2026-11-02: add by m2/dev

Michael Artin TVARANZFRW

URI	`m2://inv/TVARANZFRW`
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 Q1926870, Michael Artin (unknown). Also nLab Michael Artin
wikipedia: Wikipedia Michael Artin, Michael Artin (topic). Also Wikidata Q1926870

History

2026-10-26: add by m2/dev

TVAT8MST81 TVAT8MST81

URI	`m2://inv/TVAT8MST81`
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.10205#UUVH (statement). In PQGS7NDMDQ/e1, lemma 4

History

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

finite extension TVAWEAFPNV

URI	`m2://inv/TVAWEAFPNV`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Finite extension 0C1Y04SZ1W

Mentions

wikidata: Wikidata Q3062526, finite extension (unknown). Also MathWorld FiniteExtension

History

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

Terminology TVAWY1CSHE

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

Mentions

wikipedia: Wikipedia Feedback#OTI5, Terminology (definition)

History

2026-11-02: add by m2/dev

The factorization wall TVB2DS9S98

URI	`m2://inv/TVB2DS9S98`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20197#VTPS, The factorization wall (statement)

History

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

TVB32JESEG TVB32JESEG

URI	`m2://inv/TVB32JESEG`
Kind	statement
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.24007#S2Q0 (statement)

History

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

Abraham Sachs TVB9X6C30N

URI	`m2://inv/TVB9X6C30N`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q330562, Abraham Sachs (unknown). Also ProofWiki Mathematician:Writer/Abraham_Joseph_Sachs

History

2026-10-26: add by m2/dev

TVBBDDJSK3 TVBBDDJSK3

URI	`m2://inv/TVBBDDJSK3`
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.17817#O9CS (statement). In M8TSJ24RC2/e1, corollary 2.6

History

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

Intermediate Math League of Eastern Massachusetts TVBXPRFW6J

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

Mentions

wikipedia: Wikipedia List of United States regional mathematics competitions#UT0X, Intermediate Math League of Eastern Massachusetts (definition)

History

2026-11-02: add by m2/dev

Properties TVC8PM2WK8

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

Mentions

wikipedia: Wikipedia Kuratowski convergence#SC0D, Properties (statement)

History

2026-11-02: add by m2/dev

TVCARQVCBD TVCARQVCBD

URI	`m2://inv/TVCARQVCBD`
Kind	statement
Layer	research
MSC	14-XX, 53-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.21960#D1MF (statement). In QX77AN49J0/e1, corollary 8.4

History

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

Properties TVCBA686T8

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

Mentions

wikipedia: Wikipedia Regular p-group#SHK4, Properties (statement)

History

2026-11-02: add by m2/dev

TVCJW1BH21 TVCJW1BH21

URI	`m2://inv/TVCJW1BH21`
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 2610.05784#BGY0 (statement). In 6NVP3YRWVA/e1, theorem 4.17

History

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

Hilbert's sixteenth problem TVD2VFN91R

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

Mentions

wikipedia: Wikipedia List of incomplete proofs#O4KX, Hilbert's sixteenth problem (conjecture)

History

2026-11-02: add by m2/dev

Bounds on the family and row factors TVD6Q6HTRD

URI	`m2://inv/TVD6Q6HTRD`
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.04140#2GF8, Bounds on the family and row factors (statement). In BTT0FX7XMC/e1, lemma G.1

History

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

TVD90QXA1F TVD90QXA1F

URI	`m2://inv/TVD90QXA1F`
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.23671#J2DJ (statement)

History

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

Hjort, Nils Lid TVDDQYQRQ6

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

Mentions

wikipedia: Wikipedia List of statisticians#Q2LT, Hjort, Nils Lid (unknown)

History

2026-11-02: add by m2/dev

Scalar contraction constants TVDGZEQ9G0

URI	`m2://inv/TVDGZEQ9G0`
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 2610.00501#85K3, Scalar contraction constants (statement). In FTPW1SZ8D3/e1, lemma A.13

History

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

TVDWYC0GE5 TVDWYC0GE5

URI	`m2://inv/TVDWYC0GE5`
Kind	statement
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2310.14879#N25P (statement). In 3VZ55B2N0D/e1, lemma 5.4

History

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

TVE2VVCQEN TVE2VVCQEN

URI	`m2://inv/TVE2VVCQEN`
Kind	statement
Layer	research
MSC	11-XX, 37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.33590#ZLDK (statement). In WRE0P7V6Z3/e1, theorem 8.3

History

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

Session TVE4S1PWR2

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

Mentions

wikipedia: Wikipedia Session (software), Session (definition). Also Wikidata Q97204186

History

2026-11-02: add by m2/dev

TVE64GGH04 TVE64GGH04

URI	`m2://inv/TVE64GGH04`
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.21359#WVPX (statement)

History

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

pattern matching TVEBDSAVPT

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

Mentions

hott_book: hott_book index/4.4/pattern-matching, pattern matching (concept). In N54F33XE07, index, section 4.4

History

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

Karl Weierstrass TVEHJX7G2Z

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

Mentions

wikipedia: Wikipedia List of complex analysis topics#2VBZ, Karl Weierstrass (topic)
wikipedia: Wikipedia List of German mathematicians#RP9O, Karl Weierstrass (topic)

History

2026-11-02: add by m2/dev

TVEKN9VRGX TVEKN9VRGX

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-3 (exercise). In E9HS8K3A52, exercise, section 4.1.1

History

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

L'Hôpital's rule TVEPNTD8S4

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

Mentions

wikipedia: Wikipedia List of misnamed theorems#MI27, L'Hôpital's rule (definition)

History

2026-11-02: add by m2/dev

Luigi Federico Menabrea TVEVE2579R

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

Mentions

wikipedia: Wikipedia Luigi Federico Menabrea, Luigi Federico Menabrea (topic). Also Wikidata Q548672

History

2026-11-02: add by m2/dev

Jordan–Chevalley decomposition TVEXVR025W

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

Mentions

wikipedia: Wikipedia Jordan–Chevalley decomposition, Jordan–Chevalley decomposition (definition). Also Wikidata Q1631086

History

2026-11-02: add by m2/dev

unit, law for path concatenation TVEXZQCV2A

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

Mentions

hott_book: hott_book index/1.1/unit-law-for-path-concatenation, unit, law for path concatenation (concept). In N54F33XE07, index, section 1.1

History

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

TVF23S5TP0 TVF23S5TP0

URI	`m2://inv/TVF23S5TP0`
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.26496#ZHVE (statement)

History

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

Statistics of Deadly Quarrels TVFAPJFQ68

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

Mentions

wikipedia: Wikipedia Statistics of Deadly Quarrels, Statistics of Deadly Quarrels (definition). Also Wikidata Q116483237

History

2026-11-02: add by m2/dev

Simple example TVFFSBQGQQ

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

Mentions

wikipedia: Wikipedia Quasispecies model#I85J, Simple example (example)

History

2026-11-02: add by m2/dev

Bekić's theorem TVFRN80GME

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

Mentions

wikipedia: Wikipedia Bekić's theorem, Bekić's theorem (statement). Also Wikidata Q111943576

History

2026-11-02: add by m2/dev

TVFTEBV34F TVFTEBV34F

URI	`m2://inv/TVFTEBV34F`
Kind	statement
Layer	research
MSC	05-XX, 55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.22082#3ZFD (statement). In 7PACGDW3N7/e1, theorem A.1

History

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

axiom of empty set TVFZ9GW0FT

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

Mentions

wikidata: Wikidata Q2045366, axiom of empty set (statement). Also ProofWiki Axiom:Axiom_of_the_Empty_Set
wikipedia: Wikipedia Axiom of empty set, Axiom of empty set (statement). Also Wikidata Q2045366

History

2026-10-26: add by m2/dev

Irrational base discrete weighted transform TVFZRPNTWE

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

Mentions

wikipedia: Wikipedia List of transforms#26HC, Irrational base discrete weighted transform (definition)
wikipedia: Wikipedia List of numerical analysis topics#633M, Irrational base discrete weighted transform (definition)
wikipedia: Wikipedia List of harmonic analysis topics#GLPF, Irrational base discrete weighted transform (definition)

History

2026-11-02: add by m2/dev

Jones–Dole equation TVG1DNSERD

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

Mentions

wikipedia: Wikipedia Jones–Dole equation, Jones–Dole equation (definition). Also Wikidata Q25101940

History

2026-11-02: add by m2/dev

TVGFEVHHA1 TVGFEVHHA1

URI	`m2://inv/TVGFEVHHA1`
Kind	statement
Layer	research
MSC	17-XX, 18-XX, 46-XX, 47-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20725#61V7 (statement)

History

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

Convex relaxation over the hypersimplex yields a trivial bound TVGJSX6V4Y

URI	`m2://inv/TVGJSX6V4Y`
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.01199#DKFB, Convex relaxation over the hypersimplex yields a trivial bound (statement). In XZ4MRWR77Q/e1, proposition 3

History

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

TVGTPG1DBK TVGTPG1DBK

URI	`m2://inv/TVGTPG1DBK`
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 2506.09840#A1MO (statement). In Y7TWHSF2HC/e1, proposition 3.6

History

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

Weighted $C^{(1,2)}$ Hawking singularity theorem, version 2 TVH1VA08H0

URI	`m2://inv/TVH1VA08H0`
Kind	statement
Layer	research
MSC	53-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.11911#OX1G, Weighted $C^{(1,2)}$ Hawking singularity theorem, version 2 (statement). In 5BYE5NYB89/e1, theorem 4.16

History

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

TVH520FTBP TVH520FTBP

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

Mentions

napkin: napkin tex/calculus/integrate.tex#example-1 (example). In RZP28ERRZV, example, section 31.1

History

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

Examples TVHEEKPK56

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

Mentions

wikipedia: Wikipedia Dragon king theory#5YUF, Examples (example)

History

2026-11-02: add by m2/dev

TVHK43F429 TVHK43F429

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-74 (exercise). In E59CDZA4DP, exercise, section 4.6.3

History

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

Multiplicative layer decomposition TVHKAA2864

URI	`m2://inv/TVHKAA2864`
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.21952#RSG0, Multiplicative layer decomposition (statement). In 684EB1TQ4B/e1, proposition 1

History

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

TVHNJNM23D TVHNJNM23D

URI	`m2://inv/TVHNJNM23D`
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#QQEY (statement). In D0F1GK5AHW/e1, theorem 3.15

History

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

Harley Flanders TVHY10E6CK

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#H8TW, Harley Flanders (unknown)

History

2026-11-02: add by m2/dev

Exact Gaussian no-learning boundary TVJ15CQ0H2

URI	`m2://inv/TVJ15CQ0H2`
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.33154#UKLT, Exact Gaussian no-learning boundary (statement). In N28DEYRBW7/e1, theorem 3.2

History

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

Léon Autonne TVJ6A0Z0ZK

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#007J, Léon Autonne (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8NW9, Léon Autonne (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FKJI, Léon Autonne (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LI1S, Léon Autonne (topic)

History

2026-11-02: add by m2/dev

TVJ6JXG45M TVJ6JXG45M

URI	`m2://inv/TVJ6JXG45M`
Kind	statement
Layer	research
MSC	20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20994#DBWR (statement). In E90KYMVZMR/e1, proposition 5.5

History

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

TVJAJX8GX4 TVJAJX8GX4

URI	`m2://inv/TVJAJX8GX4`
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.07546#5I7F (statement). In H9YE46CGFN/e1, fact 3

History

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

Takeuti–Feferman–Buchholz ordinal TVJC8SV71P

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

Mentions

wikipedia: Wikipedia Takeuti–Feferman–Buchholz ordinal, Takeuti–Feferman–Buchholz ordinal (definition). Also Wikidata Q108266145

History

2026-11-02: add by m2/dev

Residue-class-wise affine group TVJCVDG1W0

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

Mentions

wikipedia: Wikipedia Residue-class-wise affine group, Residue-class-wise affine group (definition). Also Wikidata Q7315527

History

2026-11-02: add by m2/dev

William A. Veech TVJEHCJJFS

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

Mentions

wikipedia: Wikipedia William A. Veech, William A. Veech (topic). Also Wikidata Q2580857

History

2026-11-02: add by m2/dev

TVJGEWAANT TVJGEWAANT

URI	`m2://inv/TVJGEWAANT`
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.28794#32O0 (statement)

History

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

Margulis TVJMC7EAEP

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#OFLZ, Margulis (topic)

History

2026-11-02: add by m2/dev

Immigration and crime TVJP7G2M8F

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

Mentions

wikipedia: Wikipedia Immigration and crime, Immigration and crime (definition). Also Wikidata Q779515

History

2026-11-02: add by m2/dev

Prasad's revised tempered conjecture TVJPTRQ7ZK

URI	`m2://inv/TVJPTRQ7ZK`
Kind	statement
Layer	research
MSC	11-XX, 20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.05364#83ZZ, Prasad's revised tempered conjecture (statement). In TPYRE2ARMD/e1, theorem 6.10

History

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

Luz de Teresa TVJR4Y2DHS

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

Mentions

wikipedia: Wikipedia Luz de Teresa, Luz de Teresa (topic). Also Wikidata Q102273139

History

2026-11-02: add by m2/dev

Ramsey test TVJVSE5ZMX

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

Mentions

wikipedia: Wikipedia Glossary of logic#TNG0, Ramsey test (definition)

History

2026-11-02: add by m2/dev

TVJVWE48ZT TVJVWE48ZT

URI	`m2://inv/TVJVWE48ZT`
Kind	statement
Layer	research
MSC	46-XX, 47-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01915#JRK7 (statement). In 6HJQXZS0A6/e1, theorem 1.22

History

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

Worst-case finite-moment lower bound for linear SA TVJX5S27JV

URI	`m2://inv/TVJX5S27JV`
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.40338#1C9X, Worst-case finite-moment lower bound for linear SA (statement). In K5H6GS0SGQ/e1, theorem 3.4

History

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

TVJZ3MQQ8W TVJZ3MQQ8W

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-60 (exercise). In E59CDZA4DP, exercise, section 2.5.4

History

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

Equivalent definitions TVK4QJD3H4

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

Mentions

wikipedia: Wikipedia Standard probability space#ZULY, Equivalent definitions (definition)

History

2026-11-02: add by m2/dev

Mapping torus TVKGR5Q547

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

Mentions

wikipedia: Wikipedia Mapping torus, Mapping torus (definition). Also Wikidata Q3532262

History

2026-11-02: add by m2/dev

Sample size determination TVKNDV2RKW

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

Mentions

wikipedia: Wikipedia List of statistics articles#QG1A, Sample size determination (definition)

History

2026-11-02: add by m2/dev

TVKNHKVQ48 TVKNHKVQ48

URI	`m2://inv/TVKNHKVQ48`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38838#6CXI (statement). In 3EH8M9GWTX/e1, lemma 4.3

History

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

Definition TVKNW2KV4F

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

Mentions

wikipedia: Wikipedia Infinitely near point#KENC, Definition (definition)

History

2026-11-02: add by m2/dev

TVKP5ZJWCH TVKP5ZJWCH

URI	`m2://inv/TVKP5ZJWCH`
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.13618#326J (statement). In XDQAEGH345/e1, lemma 3.8

History

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

Automath TVKW4W528D

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

Mentions

wikidata: Wikidata Q2872609, Automath (concept). Also nLab Automath

History

2026-10-26: add by m2/dev

TVKZ4GN403 TVKZ4GN403

URI	`m2://inv/TVKZ4GN403`
Kind	example
Layer	research
MSC	05-XX, 16-XX, 94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.06739#7SR4 (example). In HA9B7PD0YV/e1, example 45

History

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

Voigt profile TVM7BP2Z49

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

Mentions

wikipedia: Wikipedia List of statistics articles#EMUB, Voigt profile (definition)

History

2026-11-02: add by m2/dev

TVM8RZ7TWE TVM8RZ7TWE

URI	`m2://inv/TVM8RZ7TWE`
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#3KTN (statement). In CY1FE8W1ZW/e1, corollary 0.106

History

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

TVMCEPZMVZ TVMCEPZMVZ

URI	`m2://inv/TVMCEPZMVZ`
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 2610.05365#JVKH (statement). In BKPSH4CD9K/e1, lemma B.3

History

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

TVMEWRBR4J TVMEWRBR4J

URI	`m2://inv/TVMEWRBR4J`
Kind	example
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.01828#C9E2 (example). In RQMJY73C8Q/e1, example II.1

History

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

Critical line theorem TVMK5E5Q3N

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

Mentions

wikipedia: Wikipedia List of theorems#08LZ, Critical line theorem (conjecture)

History

2026-11-02: add by m2/dev

Basic properties TVMPQ1WZH6

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

Mentions

wikipedia: Wikipedia Kneser graph#0SRE, Basic properties (statement)

History

2026-11-02: add by m2/dev

TVMV3BCGHG TVMV3BCGHG

URI	`m2://inv/TVMV3BCGHG`
Kind	problem
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.05193#N4L8 (problem). In XDMM0KNNZ9/e1, problem

History

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

TVMWS8C6FM TVMWS8C6FM

URI	`m2://inv/TVMWS8C6FM`
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 2610.00409#Z5T7 (definition). In YQT2APQPWD/e1, definition 5.2

History

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

Shmuel Winograd TVN0TWRFHH

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#KPVK, Shmuel Winograd (unknown)

History

2026-11-02: add by m2/dev

Distance correlation TVN5ZWF71Y

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

Mentions

wikipedia: Wikipedia List of statistics articles#RTOE, Distance correlation (definition)

History

2026-11-02: add by m2/dev

Abelian theorems TVN70Y74TS

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

Mentions

wikipedia: Wikipedia Abelian and Tauberian theorems#7JAX, Abelian theorems (statement)

History

2026-11-02: add by m2/dev

Steinitz TVN7BTMWED

URI	`m2://inv/TVN7BTMWED`
Kind	statement
Layer	research
MSC	26-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 2503.19729#56UH, Steinitz (statement). In 40YZ43TS8K/e1, theorem 2.7

History

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

Resolution of identity TVNE2C9M1Z

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

Mentions

wikipedia: Wikipedia Spectral theory of normal C*-algebras#1FTG, Resolution of identity (statement)

History

2026-11-02: add by m2/dev

TVNMQQBM6N TVNMQQBM6N

URI	`m2://inv/TVNMQQBM6N`
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.23147#L3D3 (statement)

History

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

TVNN7ZJJH9 TVNN7ZJJH9

URI	`m2://inv/TVNN7ZJJH9`
Kind	statement
Layer	research
MSC	11-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.06707#NK6B (statement). In 9TR5E527P5/e1, theorem 4.6

History

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

Generation Beta TVNV74X7T1

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

Mentions

wikipedia: Wikipedia Generation Beta, Generation Beta (definition). Also Wikidata Q111917558

History

2026-11-02: add by m2/dev

Definition TVP15366Z4

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

Mentions

wikipedia: Wikipedia Mixed binomial process#YW6R, Definition (definition)

History

2026-11-02: add by m2/dev

Axioms TVP8DAEDYH

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

Mentions

wikipedia: Wikipedia Polyadic algebra#UL8L, Axioms (statement)

History

2026-11-02: add by m2/dev

TVPCC5AY5Y TVPCC5AY5Y

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-22 (exercise). In E59CDZA4DP, exercise, section 2.2.4

History

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

TVPD4Z5Z06 TVPD4Z5Z06

URI	`m2://inv/TVPD4Z5Z06`
Kind	statement
Layer	research
MSC	14-XX, 20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 1802.02910#44WB (statement). In AY2MA29921/e1, lemma 04

History

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

TVPERTX5FC TVPERTX5FC

URI	`m2://inv/TVPERTX5FC`
Kind	statement
Layer	research
MSC	37-XX, 46-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.08426#QUVZ (statement). In YG2DPMNZ1N/e1, proposition 4.1

History

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

Joint 2D-FFT acceleration of $G$ TVPRNMJ85N

URI	`m2://inv/TVPRNMJ85N`
Kind	statement
Layer	research
MSC	49-XX, 65-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.34025#MH3D, Joint 2D-FFT acceleration of $G$ (statement). In VCG579E7MM/e1, lemma 3

History

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

David E. Muller TVQBXSSQ7A

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

Mentions

wikipedia: Wikipedia David E. Muller, David E. Muller (topic). Also Wikidata Q5233197

History

2026-11-02: add by m2/dev

Formal definition TVQGFWMGW5

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

Mentions

wikipedia: Wikipedia Convex space#5GJD, Formal definition (definition)

History

2026-11-02: add by m2/dev

Properties TVQTFPPBHR

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

Mentions

wikipedia: Wikipedia Cone (topology)#P2IK, Properties (statement)

History

2026-11-02: add by m2/dev

TVR3MVZ0FV TVR3MVZ0FV

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-56 (exercise). In E59CDZA4DP, exercise, section 4.5.6

History

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

TVR99ENW55 TVR99ENW55

URI	`m2://inv/TVR99ENW55`
Kind	statement
Layer	research
MSC	46-XX, 47-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01915#9OPQ (statement). In 6HJQXZS0A6/e1, lemma 4.8

History

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

Related conjectures and results TVRCJHXB1N

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

Mentions

wikipedia: Wikipedia Schanuel's conjecture#5YCO, Related conjectures and results (statement)

History

2026-11-02: add by m2/dev

prosthaphaeresis formula TVREZ7Y731

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

Mentions

wikidata: Wikidata Q15140913, prosthaphaeresis formula (unknown). Also MathWorld ProsthaphaeresisFormulas

History

2026-10-26: add by m2/dev

TVRSS63RDN TVRSS63RDN

URI	`m2://inv/TVRSS63RDN`
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 math/0411039#QXJ7 (statement). In ZTBDXSKFFW/e1, lemma 7.3

History

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

TVRZPSRHEW TVRZPSRHEW

URI	`m2://inv/TVRZPSRHEW`
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#DA0C (statement). In HH35K7S17H/e1, lemma 2.7

History

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

TVS0EJ3F1R TVS0EJ3F1R

URI	`m2://inv/TVS0EJ3F1R`
Kind	definition
Layer	research
MSC	55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20860#HTYK (definition)

History

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

parallel $\beta$-reduction, $\bredpar$ TVS4GBHXDK

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

Mentions

open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#defn:bredpar, parallel $\beta$-reduction, $\bredpar$ (definition). In PKGMM3P5QY, defn, section 36.3

History

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

Euler diagram TVS62MNTGS

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

Mentions

wikipedia: Wikipedia Glossary of set theory#TZXS, Euler diagram (definition)

History

2026-11-02: add by m2/dev

TVS7AD5CZ0 TVS7AD5CZ0

URI	`m2://inv/TVS7AD5CZ0`
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 2610.18992#7U5K (statement). In S7PNTM0GZC/e1, theorem 1.9

History

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

Harm Bart TVSJ566R6B

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

Mentions

wikipedia: Wikipedia Harm Bart, Harm Bart (topic). Also Wikidata Q15127182

History

2026-11-02: add by m2/dev

TVSNJC3YTY TVSNJC3YTY

URI	`m2://inv/TVSNJC3YTY`
Kind	statement
Layer	research
MSC	57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38793#VDYA (statement). In T2N92YSY5R/e1, proposition 4.16

History

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

TVSNQCREXK TVSNQCREXK

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-21 (proof). In VNMV985MXX, proof, section 2.3

History

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

Lifetime (physics) TVSYGRYREN

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

Mentions

wikipedia: Wikipedia List of exponential topics#GLO0, Lifetime (physics) (definition)

History

2026-11-02: add by m2/dev

Michelle Schatzman TVT0SW10CJ

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#WXXW, Michelle Schatzman (topic)

History

2026-11-02: add by m2/dev

TVT50EZ0QT TVT50EZ0QT

URI	`m2://inv/TVT50EZ0QT`
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 2610.00789#G4V7 (definition). In 4WPYBTARS2/e1, definition 2.22

History

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

TVTAA35H8F TVTAA35H8F

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-202 (exercise). In VNMV985MXX, exercise, section 4.1

History

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

H tree TVTG9AWK3X

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

Mentions

wikidata: Wikidata Q1562440, H tree (concept). Also MathWorld H-Fractal
wikipedia: Wikipedia H tree, H tree (definition). Also Wikidata Q1562440

History

2026-10-26: add by m2/dev

Class number problem for imaginary quadratic fields TVTHC7Z0PZ

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

Mentions

wikipedia: Wikipedia List of algebraic number theory topics#WNCD, Class number problem for imaginary quadratic fields (conjecture)

History

2026-11-02: add by m2/dev

Occurrence (type-token distinction) TVTNA7PGYH

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

Mentions

wikipedia: Wikipedia Type–token distinction#V1RW, Occurrence (type-token distinction) (unknown)

History

2026-11-02: add by m2/dev

TVTRNQ0Z9G TVTRNQ0Z9G

URI	`m2://inv/TVTRNQ0Z9G`
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.05829#CJQ5 (statement). In ZH9NNSEKMD/e1, proposition 3.2

History

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

TVTWJT3JEC TVTWJT3JEC

URI	`m2://inv/TVTWJT3JEC`
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.31276#VWQ2 (statement). In WYDHWYFRFK/e1, proposition 3.8

History

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

Christine Kelley TVTXR1JJWW

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

Mentions

wikipedia: Wikipedia Christine Kelley, Christine Kelley (topic). Also Wikidata Q102309540

History

2026-11-02: add by m2/dev

TVTYR0H3NV TVTYR0H3NV

URI	`m2://inv/TVTYR0H3NV`
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.10452#LIJ7 (statement). In 2F4PNP1V3B/e1, corollary 3.9

History

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

TVTZNSSN2C TVTZNSSN2C

URI	`m2://inv/TVTZNSSN2C`
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.02174#U2AX (definition). In 7JPHSV4NXW/e1, definition 2.5

History

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

TVV1WH7C3E TVV1WH7C3E

URI	`m2://inv/TVV1WH7C3E`
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.20991#AH86 (statement). In H98ZC5YBSD/e1, lemma 3.6

History

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

Large deviations theory TVVA1XB783

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#FIVN, Large deviations theory (definition)

History

2026-11-02: add by m2/dev

Normal form TVVAGDKB47

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

Mentions

wikipedia: Wikipedia Normal form (abstract rewriting), Normal form (definition). Also Wikidata Q7051809

History

2026-11-02: add by m2/dev

Properties TVVHRKPC8V

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

Mentions

wikipedia: Wikipedia Random geometric graph#SB27, Properties (statement)

History

2026-11-02: add by m2/dev

Sieved orthogonal polynomials TVW2JAHSZB

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

Mentions

wikipedia: Wikipedia Sieved orthogonal polynomials, Sieved orthogonal polynomials (definition). Also Wikidata Q7511799

History

2026-11-02: add by m2/dev

Hans Rådström TVW3RC2HW9

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

Mentions

wikipedia: Wikipedia Hans Rådström, Hans Rådström (topic). Also Wikidata Q5650684

History

2026-11-02: add by m2/dev

TVW54Q86HT TVW54Q86HT

URI	`m2://inv/TVW54Q86HT`
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.31527#CQWB (statement). In ZQ2YZ4P6P5/e1, proposition 4.8

History

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

Can every integer be written as a sum of four perfect cubes? TVW9AA2BW8

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#0T51, Can every integer be written as a sum of four perfect cubes? (conjecture)

History

2026-11-02: add by m2/dev

TVWAFBPQD6 TVWAFBPQD6

URI	`m2://inv/TVWAFBPQD6`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24931#NNJY (statement)

History

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

Properties TVWCGQVS8K

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

Mentions

wikipedia: Wikipedia Unit distance graph#SO96, Properties (statement)

History

2026-11-02: add by m2/dev

TVWE38SSJA TVWE38SSJA

URI	`m2://inv/TVWE38SSJA`
Kind	statement
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 2610.08885#VBQU (statement). In B4RHB3CF12/e1, proposition 2.4

History

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

TVWE8HE6RN TVWE8HE6RN

URI	`m2://inv/TVWE8HE6RN`
Kind	definition
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2006.12475#BFV2 (definition). In 8YWBGQQGA3/e1, definition 1

History

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

TVWEDP1JKY TVWEDP1JKY

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

Mentions

open_logic: open_logic content/computability/computability-theory/non-comp-set.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 3.9

History

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

TVWQDNWH5X TVWQDNWH5X

URI	`m2://inv/TVWQDNWH5X`
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.11900#HYGW (statement). In TV4E4ZEAM4/e1, proposition III.2

History

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

TVWS1ZRCW7 TVWS1ZRCW7

URI	`m2://inv/TVWS1ZRCW7`
Kind	statement
Layer	research
MSC	14-XX, 30-XX, 32-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 2310.06695#G1DN (statement). In D6F8XGF5SS/e1, lemma 3.4

History

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

Properties TVWX724QYE

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

Mentions

wikipedia: Wikipedia Cylinder#0U9A, Properties (statement)

History

2026-11-02: add by m2/dev

Begging the question TVWZPEV58H

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

Mentions

wikipedia: Wikipedia List of fallacies#RUVT, Begging the question (definition)

History

2026-11-02: add by m2/dev

superparticle TVX1W15TQ7

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

Mentions

wikidata: Wikidata Q47690787, superparticle (unknown). Also nLab superparticle

History

2026-10-26: add by m2/dev

Modern Stochastics: Theory and Applications TVXBQ38R56

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

Mentions

wikipedia: Wikipedia List of probability journals#ILUQ, Modern Stochastics: Theory and Applications (definition)

History

2026-11-02: add by m2/dev

Marcel Grossmann TVXJ45QXNZ

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

Mentions

wikipedia: Wikipedia List of geometers#XG75, Marcel Grossmann (topic)

History

2026-11-02: add by m2/dev

Prior probability TVXQCQSV7K

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

Mentions

wikipedia: Wikipedia List of statistics articles#E64I, Prior probability (definition)
wikipedia: Wikipedia List of probability topics#HSOS, Prior probability (definition)

History

2026-11-02: add by m2/dev

TVXSFA84W7 TVXSFA84W7

URI	`m2://inv/TVXSFA84W7`
Kind	definition
Layer	research
MSC	11-XX, 14-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.29107#DXU2 (definition)

History

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

TVY1R1M4N8 TVY1R1M4N8

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

Mentions

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

History

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

Exact rooted stackability TVY3F7RS2X

URI	`m2://inv/TVY3F7RS2X`
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.31811#NATH, Exact rooted stackability (statement). In A8ZBZW9RNA/e1, theorem 3.3

History

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

Discrete potential estimates TVY42DJY3N

URI	`m2://inv/TVY42DJY3N`
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.15805#55BC, Discrete potential estimates (statement). In 2XVWG0Z18V/e1, lemma 6.5

History

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

Micha Sharir TVY7KYH9NG

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#G5ZZ, Micha Sharir (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XJUY, Micha Sharir (unknown)

History

2026-11-02: add by m2/dev

TextSecure TVY8HFWY3W

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

Mentions

wikipedia: Wikipedia TextSecure, TextSecure (definition). Also Wikidata Q15871857

History

2026-11-02: add by m2/dev

Properties TVYDNA1TQ6

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

Mentions

wikipedia: Wikipedia Root of unity modulo n#B506, Properties (statement)

History

2026-11-02: add by m2/dev

TVYJEGPYCJ TVYJEGPYCJ

URI	`m2://inv/TVYJEGPYCJ`
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.26019#ZIAO (statement)

History

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

TVYN66D42A TVYN66D42A

URI	`m2://inv/TVYN66D42A`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.26813#2QC3 (statement)

History

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

TVYPNCT3DM TVYPNCT3DM

URI	`m2://inv/TVYPNCT3DM`
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#LQOF (statement). In MNQAZ70XTH/e1, lemma 8.9

History

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

TVYWS3VDMM TVYWS3VDMM

URI	`m2://inv/TVYWS3VDMM`
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.18618#YH4Z (statement). In C8VC86B6H8/e1, lemma 6.1

History

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

TVYXJFH1D4 TVYXJFH1D4

URI	`m2://inv/TVYXJFH1D4`
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.17442#L4W7 (statement). In 6ADGJ51W1P/e1, proposition 2.5

History

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

Terminal output TVYZ3BKHJ6

URI	`m2://inv/TVYZ3BKHJ6`
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#0JKP, Terminal output (statement). In EDG9ZFDSWK/e1, corollary B.14

History

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

Definition TVZ3DWDEN5

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

Mentions

wikipedia: Wikipedia Kummer sum#PPGP, Definition (definition)

History

2026-11-02: add by m2/dev

TVZ7XY1YSY TVZ7XY1YSY

URI	`m2://inv/TVZ7XY1YSY`
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.11395#9R2P (statement). In T3W7SMWQ73/e1, lemma 41

History

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

Normalized refinement TVZAHQY48W

URI	`m2://inv/TVZAHQY48W`
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#2PEI, Normalized refinement (statement). In 5BZQS1KY9A/e1, lemma 9.19

History

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

Examples TVZBV6S1P8

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

Mentions

wikipedia: Wikipedia Context-sensitive language#HSEW, Examples (example)

History

2026-11-02: add by m2/dev

Ryszard Engelking TVZRR1MS6S

URI	`m2://inv/TVZRR1MS6S`
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 Q737661, Ryszard Engelking (unknown). Also nLab Ryszard Engelking
wikipedia: Wikipedia Ryszard Engelking, Ryszard Engelking (topic). Also Wikidata Q737661

History

2026-10-26: add by m2/dev

TVZWC55C8J TVZWC55C8J

URI	`m2://inv/TVZWC55C8J`
Kind	statement
Layer	research
MSC	13-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.15444#FZDG (statement). In M2X9TEYRPC/e1, lemma 3.2

History

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