Inventory rows D8

Uniform size of the differentiation weights D801Y6C9KJ

URI	`m2://inv/D801Y6C9KJ`
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.03638#IKP3, Uniform size of the differentiation weights (statement). In H39AZG67B6/e1, lemma A.2

History

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

The inverse flux D80511TAWY

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

Mentions

arxiv: arXiv 2610.19296#SMHX, The inverse flux (statement). In WFR2WNW8NB/e1, lemma 3.2

History

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

D806M8E39P D806M8E39P

URI	`m2://inv/D806M8E39P`
Kind	definition
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.13833#RGF5 (definition). In VD4JP4HVBX/e1, definition 4.4

History

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

D807ZMRCZ8 D807ZMRCZ8

URI	`m2://inv/D807ZMRCZ8`
Kind	definition
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.08028#W1AN (definition). In Z19XDA8QY9/e1, definition 6

History

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

Counting lemma D808DRSYN8

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

Mentions

wikipedia: Wikipedia List of lemmas#83YD, Counting lemma (statement)

History

2026-11-02: add by m2/dev

Bitcoin Satoshi Vision D80CC58WCH

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

Mentions

wikipedia: Wikipedia Bitcoin Satoshi Vision, Bitcoin Satoshi Vision (definition). Also Wikidata Q59285013

History

2026-11-02: add by m2/dev

D80DD5HDAE D80DD5HDAE

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

Mentions

arxiv: arXiv 2610.04434#4LYZ (definition). In EY0QS456EC/e1, definition 3.1

History

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

Ground instance D80DZGYJZM

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

Mentions

wikipedia: Wikipedia Substitution (logic)#SCU1, Ground instance (unknown)

History

2026-11-02: add by m2/dev

Arbitrary marginal coercivity D80EBRZMCQ

URI	`m2://inv/D80EBRZMCQ`
Kind	statement
Layer	research
MSC	35-XX, 49-XX, 62-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.35574#37UX, Arbitrary marginal coercivity (statement). In 3Q70DMD7Z7/e1, theorem 4.2

History

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

D80GF8R71E D80GF8R71E

URI	`m2://inv/D80GF8R71E`
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.01970#77YB (statement). In 1B400PB2NJ/e1, theorem 5.1

History

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

bipolar D80XZCB53N

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#DRKA, bipolar (definition)

History

2026-11-02: add by m2/dev

D80ZP5EQ1R D80ZP5EQ1R

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

Mentions

arxiv: arXiv 2609.39246#83NU (statement). In FVK0J9CFEF/e1, lemma 4.5

History

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

A global return D812QJG9N4

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

Mentions

arxiv: arXiv 2610.15686#PLFB, A global return (statement). In 4HCK722M2G/e1, lemma 5.10

History

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

$(\infty,1)$-category D816XH3Q8X

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

Mentions

hott_book: hott_book index/6.3/infty-1-category, $(\infty,1)$-category (concept). In N54F33XE07, index, section 6.3

History

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

List of surfaces D8196FTZX9

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

Mentions

wikipedia: Wikipedia List of surfaces, List of surfaces (topic). Also Wikidata Q6641957

History

2026-11-02: add by m2/dev

D81D1XBA9Y D81D1XBA9Y

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

Mentions

arxiv: arXiv 2610.19469#Q5LE (statement). In QK9FT9AKHN/e1, lemma 2.2

History

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

Primary Failure Lemma D81DA4VDZM

URI	`m2://inv/D81DA4VDZM`
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.07214#LMJ9, Primary Failure Lemma (statement). In 669PBFJX0Z/e1, lemma 3

History

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

D81J546JY1 D81J546JY1

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

Mentions

arxiv: arXiv 2610.01087#82MA (statement). In 7QXAZXGNPQ/e1, theorem 1.8

History

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

D81JBJ7QQE D81JBJ7QQE

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

Mentions

arxiv: arXiv 2609.35030#TUAL (statement). In DPT4P2BTEW/e1, theorem 6.1

History

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

Wasserstein lower bound for Gaussian scale perturbations D81MPD057V

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

Mentions

arxiv: arXiv 2610.06308#K5VQ, Wasserstein lower bound for Gaussian scale perturbations (statement). In HTWSDDAWGS/e1, lemma D.3

History

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

D81XX6MC09 D81XX6MC09

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/substitution.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 38.15

History

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

D8204FHBFQ D8204FHBFQ

URI	`m2://inv/D8204FHBFQ`
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.38131#GD4Z (statement). In GM3S19KFDH/e1, theorem 4.3

History

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

Jean Yang D82051MFFS

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

Mentions

wikipedia: Wikipedia Jean Yang, Jean Yang (topic). Also Wikidata Q50242345

History

2026-11-02: add by m2/dev

The sign of $\Upsilon_{d,r,q}$ D8209F5AF7

URI	`m2://inv/D8209F5AF7`
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.25457#CT7B, The sign of $\Upsilon_{d,r,q}$ (statement)

History

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

two-graph D82BGNB2BB

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

Mentions

wikidata: Wikidata Q7858715, two-graph (unknown). Also MathWorld Two-Graph
wikipedia: Wikipedia Two-graph, Two-graph (definition). Also Wikidata Q7858715

History

2026-10-26: add by m2/dev

Alan M. Frieze D82BK26AYK

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#9FVF, Alan M. Frieze (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#G1NV, Alan M. Frieze (topic)

History

2026-11-02: add by m2/dev

D82D5HJPR6 D82D5HJPR6

URI	`m2://inv/D82D5HJPR6`
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.34236#N58W (statement). In 203FGMHAE9/e1, theorem 1

History

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

D82EW2Z02E D82EW2Z02E

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

Mentions

arxiv: arXiv 2610.14717#KL0W (statement). In ZB2QPB5EBN/e1, proposition 3.4

History

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

Three States, Arkansas, Louisiana, and Texas D82RXC5XER

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

Mentions

wikipedia: Wikipedia List of places with numeric names#UXLP, Three States, Arkansas, Louisiana, and Texas (unknown)

History

2026-11-02: add by m2/dev

D83184RMKQ D83184RMKQ

URI	`m2://inv/D83184RMKQ`
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.21098#ZUE4 (statement)

History

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

D833Z5JH99 D833Z5JH99

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

Mentions

arxiv: arXiv 2609.31294#CQTP (statement). In 6GK9EJMWY4/e1, lemma 3.9

History

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

predictor–corrector method D83A80X66H

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

Mentions

wikidata: Wikidata Q2650267, predictor–corrector method (unknown). Also MathWorld Predictor-CorrectorMethods
wikipedia: Wikipedia Predictor–corrector method, Predictor–corrector method (definition). Also Wikidata Q2650267

History

2026-10-26: add by m2/dev

Hermann Schwarz D83AGEVJNB

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

Mentions

wikipedia: Wikipedia Hermann Schwarz, Hermann Schwarz (topic). Also Wikidata Q61223

History

2026-11-02: add by m2/dev

Model synthesis D83F4QA8K7

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

Mentions

wikipedia: Wikipedia Model synthesis, Model synthesis (definition). Also Wikidata Q126178117

History

2026-11-02: add by m2/dev

D83FFDZEKA D83FFDZEKA

URI	`m2://inv/D83FFDZEKA`
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 2605.24355#NCBF (statement). In VV3AJMWWCR/e1, lemma 6

History

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

Pavol Brunovsky D83GG0G91V

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OBBZ, Pavol Brunovsky (unknown)

History

2026-11-02: add by m2/dev

Subquadratic BDG maximal inequality D83J4EM33Y

URI	`m2://inv/D83J4EM33Y`
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#S2O6, Subquadratic BDG maximal inequality (statement). In K5H6GS0SGQ/e1, lemma 4.4

History

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

Pu's inequality D83QVGYQ14

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#Q4UK, Pu's inequality (statement)
wikipedia: Wikipedia List of inequalities#JW79, Pu's inequality (statement)

History

2026-11-02: add by m2/dev

Adrien Pouliot Award D83QWRNCB3

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

Mentions

wikipedia: Wikipedia Adrien Pouliot Award, Adrien Pouliot Award (definition). Also Wikidata Q3404299

History

2026-11-02: add by m2/dev

D83ZBC0VKN D83ZBC0VKN

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

Mentions

arxiv: arXiv 2610.03661#01DO (definition). In ESDKTYDHC8/e1, definition 20

History

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

D845JMP07X D845JMP07X

URI	`m2://inv/D845JMP07X`
Kind	statement
Layer	research
MSC	05-XX, 14-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.19669#3EPQ (statement). In 1QPAA94Q76/e1, lemma 40

History

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

James Arthur D848PJK84R

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#1U0Y, James Arthur (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2VPP, James Arthur (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D2OO, James Arthur (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QTX4, James Arthur (topic)

History

2026-11-02: add by m2/dev

D84C0ZMZ7N D84C0ZMZ7N

URI	`m2://inv/D84C0ZMZ7N`
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 2609.21528#SV0T (statement)

History

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

x-axis D84SN7S9EK

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

Mentions

wikidata: Wikidata Q25599399, x-axis (unknown). Also MathWorld x-Axis

History

2026-10-26: add by m2/dev

D84T9QZH4V D84T9QZH4V

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

Mentions

arxiv: arXiv 2609.24043#PKJL (statement)

History

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

Mathematical fictionalism D84X35HM95

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

Mentions

wikipedia: Wikipedia Philosophy of mathematics#7L16, Mathematical fictionalism (unknown)

History

2026-11-02: add by m2/dev

D855R0ARHF D855R0ARHF

URI	`m2://inv/D855R0ARHF`
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.37580#Y16U (statement). In WJQQBTDARA/e1, theorem 1

History

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

D857VJ8HD9 D857VJ8HD9

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

Mentions

austin_ula: austin_ula src/exercises/exercises6-3.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 6.3

History

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

D858S5G1DR D858S5G1DR

URI	`m2://inv/D858S5G1DR`
Kind	statement
Layer	research
MSC	05-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.03704#JJLU (statement). In 22PZM74WT5/e1, theorem 1.1

History

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

D85EHFDFH8 D85EHFDFH8

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

Mentions

applied_combinatorics: applied_combinatorics source/s_induction_recursion.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 3.5.1

History

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

Edge probabilities D85J3H4JVT

URI	`m2://inv/D85J3H4JVT`
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.29671#Q2R8, Edge probabilities (statement)

History

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

Ernst Mach D85K6FCDF3

URI	`m2://inv/D85K6FCDF3`
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 Q93996, Ernst Mach (unknown). Also ProofWiki Mathematician:Ernst_Waldfried_Josef_Wenzel_Mach

History

2026-10-26: add by m2/dev

Andrey Kolmogorov D85KWZCDRK

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#VFCA, Andrey Kolmogorov (topic)

History

2026-11-02: add by m2/dev

D85M23YS3X D85M23YS3X

URI	`m2://inv/D85M23YS3X`
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.21298#CK5S (statement). In AXWM2MBYXV/e1, theorem 1.3

History

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

D85NGRQH7R D85NGRQH7R

URI	`m2://inv/D85NGRQH7R`
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 2011.06637#W49J (statement). In KFCJ5CFP3G/e1, theorem 4.4

History

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

minimum D866R5JXTZ

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

Mentions

wikidata: Wikidata Q10585806, minimum (unknown). Also MathWorld Minimum

History

2026-10-26: add by m2/dev

Hermitian operator D86EMETJ6T

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

Mentions

wikipedia: Wikipedia List of things named after Charles Hermite#WM0W, Hermitian operator (definition)

History

2026-11-02: add by m2/dev

D86KZX5C9V D86KZX5C9V

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

Mentions

arxiv: arXiv 2609.26401#SPR0 (definition)

History

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

D86X1VKYVW D86X1VKYVW

URI	`m2://inv/D86X1VKYVW`
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 2106.09601#U2L0 (statement). In P26ZRC1QRZ/e1, proposition 4.4

History

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

projective object D86XHB62R8

URI	`m2://inv/D86XHB62R8`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Projective object YXMXAGVC1Q

Mentions

wikidata: Wikidata Q2112502, projective object (definition). Also EoM Projective_object_of_a_category, nLab projective object, ProofWiki Definition:Projective_Object
wikipedia: Wikipedia Projective object, Projective object (definition). Also Wikidata Q2112502

History

2026-10-26: add by m2/dev

Examples D87CC7622K

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

Mentions

wikipedia: Wikipedia Conditional expectation#UDE7, Examples (example)

History

2026-11-02: add by m2/dev

Abraham Adrian Albert D87CCTQH90

URI	`m2://inv/D87CCTQH90`
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 Q323442, Abraham Adrian Albert (unknown). Also nLab Abraham Adrian Albert
wikipedia: Wikipedia A. A. Albert, A. A. Albert (topic). Also Wikidata Q323442

History

2026-10-26: add by m2/dev

D87EWFMFNQ D87EWFMFNQ

URI	`m2://inv/D87EWFMFNQ`
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.05611#JV3X (statement). In QDTX6NXFEB/e1, theorem 2.6

History

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

D87GFCVWMT D87GFCVWMT

URI	`m2://inv/D87GFCVWMT`
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.10233#FTNI (statement). In QR9WE79ERQ/e1, theorem 1.8

History

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

Jacques Ehrmann D87PMBS6HA

URI	`m2://inv/D87PMBS6HA`
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#KCDU, Jacques Ehrmann (unknown)

History

2026-11-02: add by m2/dev

Criterion D87QX703JF

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

Mentions

wikipedia: Wikipedia Popov criterion#KKB6, Criterion (statement)

History

2026-11-02: add by m2/dev

D87W886ZVT D87W886ZVT

URI	`m2://inv/D87W886ZVT`
Kind	statement
Layer	research
MSC	05-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 2610.07718#YK09 (statement). In CEKW9CNVVW/e1, proposition 7.1

History

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

Proper linear model D87XZ0W1NF

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

Mentions

wikipedia: Wikipedia Proper linear model, Proper linear model (definition). Also Wikidata Q7250175

History

2026-11-02: add by m2/dev

Fluent D87ZAEAKG7

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

Mentions

wikipedia: Wikipedia Fluent (mathematics), Fluent (definition). Also Wikidata Q60740436

History

2026-11-02: add by m2/dev

D883HGP6XA D883HGP6XA

URI	`m2://inv/D883HGP6XA`
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.37508#8IQ4 (statement). In WCSDA99ZHA/e1, lemma 2.1

History

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

projective bundle D8893XN80F

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#AJUZ, projective bundle (definition)

History

2026-11-02: add by m2/dev

Extensions D889PN2VBE

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

Mentions

wikipedia: Wikipedia Coalescent theory#9DLO, Extensions (statement)

History

2026-11-02: add by m2/dev

Complex index of refraction D88ANVW2MT

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

Mentions

wikipedia: Wikipedia Refractive index#KW5K, Complex index of refraction (unknown)

History

2026-11-02: add by m2/dev

D88B6F0G96 D88B6F0G96

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

Mentions

arxiv: arXiv 2610.09162#IAS9 (statement). In TAPS8P2VYS/e1, theorem 2.6

History

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

Alicia Boole Stott D88FW764CQ

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

Mentions

wikipedia: Wikipedia List of geometers#M2VL, Alicia Boole Stott (topic)

History

2026-11-02: add by m2/dev

theorem, Conway's 0 D88GD4SS2G

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

Mentions

hott_book: hott_book index/B.6/theorem-conway-s-0, theorem, Conway's 0 (concept). In N54F33XE07, index, section B.6

History

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

$\alpha$-norm estimate D88MF99EBX

URI	`m2://inv/D88MF99EBX`
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.19273#LE41, $\alpha$-norm estimate (statement). In T3BY4TXYT4/e1, theorem 4.1

History

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

Anderson–Darling test D88S3H8H6H

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

Mentions

wikipedia: Wikipedia List of statistics articles#O52J, Anderson–Darling test (definition)

History

2026-11-02: add by m2/dev

D88SBDC8R1 D88SBDC8R1

URI	`m2://inv/D88SBDC8R1`
Kind	definition
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.39293#DTCS (definition). In S26QVW5613/e1, definition 5.4.10

History

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

D88XN1CJ2Q D88XN1CJ2Q

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

Mentions

arxiv: arXiv 2609.21507#6PV7 (definition)

History

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

Dynamical structure function D88Z2RN6W9

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

Mentions

wikipedia: Wikipedia Dynamical structure function, Dynamical structure function (definition). Also Wikidata Q140133819

History

2026-11-02: add by m2/dev

D88ZS8QSCM D88ZS8QSCM

URI	`m2://inv/D88ZS8QSCM`
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.09882#Q3G3 (statement). In 7XV6T4N79V/e1, lemma 5.4

History

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

D891VCJG3D D891VCJG3D

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

Mentions

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

History

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

Leslie Abramson D89CAACMNB

URI	`m2://inv/D89CAACMNB`
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#ZML8, Leslie Abramson (unknown)

History

2026-11-02: add by m2/dev

Martin Demaine D89G21SPBR

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#09F4, Martin Demaine (unknown)

History

2026-11-02: add by m2/dev

David Schmeidler D89QJRJAG8

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

Mentions

wikipedia: Wikipedia David Schmeidler, David Schmeidler (topic). Also Wikidata Q5239543

History

2026-11-02: add by m2/dev

Bernstein–Vazirani algorithm D89WYQQBCA

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

Mentions

wikipedia: Wikipedia Bernstein–Vazirani algorithm, Bernstein–Vazirani algorithm (definition). Also Wikidata Q65053013

History

2026-11-02: add by m2/dev

D89Y7E21TR D89Y7E21TR

URI	`m2://inv/D89Y7E21TR`
Kind	statement
Layer	research
MSC	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.32916#KDDO (statement). In G1RP4JY5PE/e1, proposition 5.4.12

History

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

Opinion polling for the 2025 Dutch general election D8ACDQMQAS

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

Mentions

wikipedia: Wikipedia Opinion polling for the 2025 Dutch general election, Opinion polling for the 2025 Dutch general election (definition). Also Wikidata Q131598141

History

2026-11-02: add by m2/dev

Bayes' theorem D8AGZS31B5

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

Mentions

wikipedia: Wikipedia Bayesian statistics#80GO, Bayes' theorem (statement)

History

2026-11-02: add by m2/dev

Manin conjecture D8AJQTTTAC

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

Mentions

wikipedia: Wikipedia Manin conjecture, Manin conjecture (conjecture). Also Wikidata Q17080204

History

2026-11-02: add by m2/dev

First variation formula D8AMZS64DM

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

Mentions

wikipedia: Wikipedia Noether's second theorem#VDL7, First variation formula (statement)

History

2026-11-02: add by m2/dev

Bailey-Wilson, Joan D8ARCB5QGD

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

Mentions

wikipedia: Wikipedia List of statisticians#FO88, Bailey-Wilson, Joan (topic)

History

2026-11-02: add by m2/dev

quadrifolium D8AWXFFPBT

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

Mentions

wikidata: Wikidata Q2358628, quadrifolium (unknown). Also MathWorld Quadrifolium
wikipedia: Wikipedia Quadrifolium, Quadrifolium (definition). Also Wikidata Q2358628

History

2026-10-26: add by m2/dev

Benjamin Donn D8AZ6NHXWH

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

Mentions

wikipedia: Wikipedia Benjamin Donn, Benjamin Donn (topic). Also Wikidata Q2896063

History

2026-11-02: add by m2/dev

D8B27020CW D8B27020CW

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

Mentions

napkin: napkin tex/alg-geom/proj-var.tex#example-7 (example). In RZP28ERRZV, example, section 23.5

History

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

D8B2WVF1VW D8B2WVF1VW

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

Mentions

hott_book: hott_book reals.tex#ex:traditional-archimedean (exercise). In N54F33XE07, ex, section B.6

History

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

Definition D8B6S55NDH

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

Mentions

wikipedia: Wikipedia Egalitarian rule#HRK6, Definition (definition)

History

2026-11-02: add by m2/dev

Password entropy D8B9V8FZ03

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

Mentions

wikipedia: Wikipedia Password strength#NDAF, Password entropy (unknown)

History

2026-11-02: add by m2/dev

matching D8BAM8M1CB

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

Mentions

mathlib_overview: mathlib_overview Combinatorics > Graph theory > matching, matching (unknown). Also Mathlib SimpleGraph.Subgraph.IsMatching

History

2026-10-26: add by m2/dev

Xiaobo Liu D8BEHJ912E

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#J7DI, Xiaobo Liu (unknown)

History

2026-11-02: add by m2/dev

Bayes estimator D8BF18WB0B

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

Mentions

wikipedia: Wikipedia Bayes estimator, Bayes estimator (definition). Also Wikidata Q842217

History

2026-11-02: add by m2/dev

D8BGBGMAX4 D8BGBGMAX4

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

Mentions

arxiv: arXiv 2610.16941#0PZQ (definition). In T96MPYB0KT/e1, definition 2.1

History

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

Properties D8BK3246KR

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

Mentions

wikipedia: Wikipedia Pushforward measure#7C3M, Properties (statement)

History

2026-11-02: add by m2/dev

Discrete topology D8BNQ51J9S

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

Mentions

wikipedia: Wikipedia Glossary of general topology#MJWQ, Discrete topology (definition)

History

2026-11-02: add by m2/dev

H-fractal D8BVY4NDDT

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#6Z00, H-fractal (definition)

History

2026-11-02: add by m2/dev

Jacob Lurie D8C2SKCQ9X

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

Mentions

wikipedia: Wikipedia List of publications in mathematics#NDYF, Jacob Lurie (topic)

History

2026-11-02: add by m2/dev

Multilinear principal component analysis D8C3D4942B

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

Mentions

wikipedia: Wikipedia List of statistics articles#2GUS, Multilinear principal component analysis (definition)

History

2026-11-02: add by m2/dev

Coupled step with qualified errors D8C8QMMRA6

URI	`m2://inv/D8C8QMMRA6`
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.21880#MKOK, Coupled step with qualified errors (definition)

History

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

D8C9EMXT7A D8C9EMXT7A

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

Mentions

arxiv: arXiv 2610.22040#07Y7 (statement). In 2QP93JHYNB/e1, theorem 8.17

History

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

D8CR2PR52T D8CR2PR52T

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

Mentions

arxiv: arXiv math/9902147#CG36 (statement). In 7CK21JGM5A/e1, corollary 4.2

History

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

L.E. Dickson D8CS97N1XD

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

Mentions

wikipedia: Wikipedia List of group theory topics#VF83, L.E. Dickson (topic)

History

2026-11-02: add by m2/dev

D8CTD0GV78 D8CTD0GV78

URI	`m2://inv/D8CTD0GV78`
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 2211.16099#DCMB (example). In 91RRFW0K5D/e1, example 17

History

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

D8CZ9A776A D8CZ9A776A

URI	`m2://inv/D8CZ9A776A`
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.17258#DORJ (statement). In F4M67ZVBF2/e1, corollary 3.5

History

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

Theorem D8D4NFBA9M

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

Mentions

wikipedia: Wikipedia Eilenberg–Ganea theorem#RLXM, Theorem (statement)

History

2026-11-02: add by m2/dev

Maxwell's equations D8D63XS7F3

URI	`m2://inv/D8D63XS7F3`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Maxwell's equations 9BWWD4QK8Y

Mentions

wikidata: Wikidata Q51501, Maxwell's equations (statement). Also EoM Maxwell_equations, MathWorld MaxwellsEquations, nLab Maxwell's equations, ProofWiki Maxwell's_Equations
wikipedia: Wikipedia Maxwell's equations, Maxwell's equations (definition). Also Wikidata Q51501

History

2026-10-26: add by m2/dev

Properties D8DC84MERW

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

Mentions

wikipedia: Wikipedia Support function#L3E1, Properties (statement)

History

2026-11-02: add by m2/dev

D8DPWQE6ZX D8DPWQE6ZX

URI	`m2://inv/D8DPWQE6ZX`
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.05512#66Q4 (statement). In 2F0KX51XKM/e1, lemma 12

History

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

D8DZKAAQWG D8DZKAAQWG

URI	`m2://inv/D8DZKAAQWG`
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.20087#HO7M (statement). In ZRE2WQR5XA/e1, proposition III.5

History

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

Relative change and difference D8E13EWZ3F

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

Mentions

wikipedia: Wikipedia List of statistics articles#I0VQ, Relative change and difference (definition)

History

2026-11-02: add by m2/dev

Properties D8E35WG5WT

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

Mentions

wikipedia: Wikipedia Pythagorean means#9T9T, Properties (statement)

History

2026-11-02: add by m2/dev

D8E5R3G8KS D8E5R3G8KS

URI	`m2://inv/D8E5R3G8KS`
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.04772#OUN6 (statement). In WW08CYN4D4/e1, lemma 3.2

History

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

alternating group D8E693525H

URI	`m2://inv/D8E693525H`
Kind	definition
Layer	textbook
Sources	4
Outcome	node (a node has the same name as the row)
Node	Alternating group 0T13HM377F

Mentions

mathlib_overview: mathlib_overview General algebra > Group theory > alternating group, alternating group (unknown). Also Mathlib alternatingGroup
mathlib_undergrad: mathlib_undergrad Group Theory > Permutation group > alternating group, alternating group (unknown). Also Mathlib alternatingGroup
wikidata: Wikidata Q438814, alternating group (unknown). Also EoM Alternating_group, LMFDB knowl group.alternating, Mathlib alternatingGroup, MathWorld AlternatingGroup, nLab alternating group
wikipedia: Wikipedia Alternating group, Alternating group (definition). Also Wikidata Q438814

History

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

D8EB0TSX29 D8EB0TSX29

URI	`m2://inv/D8EB0TSX29`
Kind	definition
Layer	research
MSC	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.00105#PFSC (definition). In EZXTEXR47M/e1, definition 2.5

History

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

Hom sheaf D8EC8ZBVDW

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

Mentions

wikipedia: Wikipedia Sheaf (mathematics)#G7AU, Hom sheaf (unknown)

History

2026-11-02: add by m2/dev

D8EHXWKFRK D8EHXWKFRK

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

Mentions

arxiv: arXiv 2609.27125#NK9H (statement)

History

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

Birkhoff's theorem D8ER3CEW5P

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

Mentions

wikipedia: Wikipedia List of theorems#VX6E, Birkhoff's theorem (topic)

History

2026-11-02: add by m2/dev

Paul Bernays D8EZA4H4H1

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#9WWI, Paul Bernays (topic)

History

2026-11-02: add by m2/dev

D8F3TRB5ZP D8F3TRB5ZP

URI	`m2://inv/D8F3TRB5ZP`
Kind	statement
Layer	research
MSC	19-XX, 46-XX, 47-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.17060#VRHG (statement). In 5KR3MHYVV6/e1, theorem 6.9

History

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

Normal crossing singularity D8FE6K0SNF

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

Mentions

wikipedia: Wikipedia Normal crossing singularity, Normal crossing singularity (definition). Also Wikidata Q7051799

History

2026-11-02: add by m2/dev

Pi Mu Epsilon D8FHEHF8PF

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

Mentions

wikipedia: Wikipedia List of mathematical societies#6J91, Pi Mu Epsilon (definition)

History

2026-11-02: add by m2/dev

D8FQ6AZN7H D8FQ6AZN7H

URI	`m2://inv/D8FQ6AZN7H`
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.36300#CLE3 (statement). In MNWD3Y6W56/e1, lemma 3.3

History

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

Poisson limit theorem D8FQT3V40P

URI	`m2://inv/D8FQT3V40P`
Kind	statement
Layer	textbook
MSC	60-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Poisson limit theorem 0XKTZRWTXX

Mentions

mathlib_1000: mathlib_1000 Q7208500, Poisson limit theorem (statement). Also Mathlib ProbabilityTheory.tendsto_choose_mul_pow_of_tendsto_mul_atTop, Wikidata Q7208500
thousand_plus: thousand_plus Q7208500, Poisson limit theorem (statement). Also Mathlib ProbabilityTheory.tendsto_choose_mul_pow_of_tendsto_mul_atTop, Mathlib ProbabilityTheory.binomial_tendsto_poissonPMFReal_atTop, Wikidata Q7208500, Wikipedia Poisson limit theorem
wikidata: Wikidata Q7208500, Poisson limit theorem (statement). Also MathWorld PoissonTheorem
wikipedia: Wikipedia Poisson limit theorem, Poisson limit theorem (statement). Also Wikidata Q7208500

History

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

Positive set theory D8FS72DJCK

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

Mentions

wikipedia: Wikipedia List of alternative set theories#06TR, Positive set theory (definition)
wikipedia: Wikipedia List of first-order theories#890J, Positive set theory (definition)

History

2026-11-02: add by m2/dev

D8G3Y8Q4X7 D8G3Y8Q4X7

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

Mentions

arxiv: arXiv 2610.01888#U2GK (statement). In A89G9GMPC9/e1, theorem 8.1

History

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

D8G8AHJSBW D8G8AHJSBW

URI	`m2://inv/D8G8AHJSBW`
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.22280#T4JE (statement)

History

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

Uniformity of the cubicization D8GAE41XA0

URI	`m2://inv/D8GAE41XA0`
Kind	statement
Layer	research
MSC	03-XX, 26-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.12434#UGW5, Uniformity of the cubicization (statement). In YCRZC9SDCE/e1, proposition 6.4

History

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

Pythagorean theorem D8GAW62H6K

URI	`m2://inv/D8GAW62H6K`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Pythagorean theorem 0VP3A1290K

Mentions

mathlib_100: mathlib_100 4, Pythagorean Theorem (statement). Also Mathlib EuclideanGeometry.dist_sq_eq_dist_sq_add_dist_sq_iff_angle_eq_pi_div_two
mathlib_1000: mathlib_1000 Q11518, Pythagorean theorem (statement). Also Mathlib EuclideanGeometry.dist_sq_eq_dist_sq_add_dist_sq_iff_angle_eq_pi_div_two, Wikidata Q11518
thousand_plus: thousand_plus Q11518, Pythagorean theorem (statement). Also Mathlib EuclideanGeometry.dist_sq_eq_dist_sq_add_dist_sq_iff_angle_eq_pi_div_two, Wikidata Q11518, Wikipedia Pythagorean theorem
wikidata: Wikidata Q11518, Pythagorean theorem (statement). Also EoM Pythagoras_theorem, EoM Pythagorean_theorem, MathWorld PythagoreanTheorem, nLab Pythagorean theorem, ProofWiki Pythagoras's_Theorem, ProofWiki Pythagorean_Theorem
wikidata: Wikidata Q54640564, mathisfun.com (statement). Also EoM Pythagorean_theorem, MathWorld PythagoreanTheorem, ProofWiki Pythagorean_Theorem
wikipedia: Wikipedia Pythagorean theorem, Pythagorean theorem (statement). Also Wikidata Q11518

History

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

D8GB7V1M83 D8GB7V1M83

URI	`m2://inv/D8GB7V1M83`
Kind	statement
Layer	research
MSC	20-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.37761#MWHC (statement). In 4TAQ65KZKN/e1, proposition 3.5

History

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

Generalized cube D8GJQPZ91W

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

Mentions

wikipedia: Wikipedia Hypercube#YPCP, Generalized cube (unknown)

History

2026-11-02: add by m2/dev

Klein's icosahedral cubic surface D8GM30Y73S

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

Mentions

wikipedia: Wikipedia List of things named after Felix Klein#R4UN, Klein's icosahedral cubic surface (definition)

History

2026-11-02: add by m2/dev

Lift (data mining) D8GT9SGCGA

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

Mentions

wikipedia: Wikipedia List of statistics articles#DY86, Lift (data mining) (definition)

History

2026-11-02: add by m2/dev

Definition D8H42MEWRP

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

Mentions

wikipedia: Wikipedia Closed linear operator#2JA1, Definition (definition)

History

2026-11-02: add by m2/dev

Rule 30 D8H6CZ9AZ3

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

Mentions

wikidata: Wikidata Q2918510, Rule 30 (unknown). Also MathWorld Rule30

History

2026-10-26: add by m2/dev

D8H96PAHRT D8H96PAHRT

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-52 (exercise). In E9HS8K3A52, exercise, section 5.4.4

History

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

Applications D8HENB8Q48

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

Mentions

wikipedia: Wikipedia Self-organized criticality#A0LY, Applications (example)

History

2026-11-02: add by m2/dev

Bayesian programming D8HFY9RKAE

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

Mentions

wikipedia: Wikipedia Bayesian programming, Bayesian programming (definition). Also Wikidata Q16243608

History

2026-11-02: add by m2/dev

shellsort D8HGB0RJ66

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

Mentions

wikidata: Wikidata Q848955, shellsort (unknown). Also MathWorld Shellsort

History

2026-10-26: add by m2/dev

Connected edge-set moment D8HHDCECB6

URI	`m2://inv/D8HHDCECB6`
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.18884#DYFQ, Connected edge-set moment (statement). In 8WM10QMA9E/e1, theorem B.1

History

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

Greatest common divisior of two polynomials D8J9SV8AAM

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

Mentions

wikipedia: Wikipedia List of polynomial topics#QVVL, Greatest common divisior of two polynomials (definition)

History

2026-11-02: add by m2/dev

modality D8JCADJM0K

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

Mentions

hott_book: hott_book index/6.7/modality, modality (concept). In N54F33XE07, index, section 6.7

History

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

Generalizations D8JFCP180J

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

Mentions

wikipedia: Wikipedia Field extension#0WI5, Generalizations (statement)

History

2026-11-02: add by m2/dev

Grokking D8JH4HRC58

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

Mentions

wikipedia: Wikipedia Grokking (machine learning), Grokking (definition). Also Wikidata Q126362531

History

2026-11-02: add by m2/dev

Examples D8K02FBAZ5

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

Mentions

wikipedia: Wikipedia Brownian sheet#DTN6, Examples (example)

History

2026-11-02: add by m2/dev

D8K15KF25F D8K15KF25F

URI	`m2://inv/D8K15KF25F`
Kind	definition
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 0903.1504#JO7L (definition). In D5YZ438QTY/e1, definition 2.1

History

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

Asymptotic normality D8KBNZD016

URI	`m2://inv/D8KBNZD016`
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.21710#7YQ1, Asymptotic normality (statement)

History

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

Implementations D8KFXR4QP9

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

Mentions

wikipedia: Wikipedia HKDF#9IDK, Implementations (definition)

History

2026-11-02: add by m2/dev

Langley Park D8KYAVA383

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#ZCQS, Langley Park (unknown)

History

2026-11-02: add by m2/dev

D8M02A6MBH D8M02A6MBH

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

Mentions

arxiv: arXiv 2610.14783#8SAD (statement). In Y3X5XY2J65/e1, theorem 10.3

History

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

D8M05CQXQ4 D8M05CQXQ4

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

History

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

D8MBQWYFCV D8MBQWYFCV

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

Mentions

arxiv: arXiv 2610.14847#JPBW (definition). In 2RC8WXQ9ET/e1, definition 3.4

History

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

Generalizations D8MF43KYZQ

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

Mentions

wikipedia: Wikipedia Stolarsky mean#QZ6N, Generalizations (statement)

History

2026-11-02: add by m2/dev

Definition D8MQAFVDGP

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

Mentions

wikipedia: Wikipedia Fusion frame#P6N9, Definition (definition)

History

2026-11-02: add by m2/dev

Examples D8MVS1QVW3

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

Mentions

wikipedia: Wikipedia Skin in the Game (book)#W8A1, Examples (example)

History

2026-11-02: add by m2/dev

Complex quadratic polynomial D8N386DGM7

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

Mentions

wikipedia: Wikipedia Complex quadratic polynomial, Complex quadratic polynomial (definition). Also Wikidata Q5156597

History

2026-11-02: add by m2/dev

Transient modelling D8N3E765T7

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

Mentions

wikipedia: Wikipedia Transient modelling, Transient modelling (definition). Also Wikidata Q17142421

History

2026-11-02: add by m2/dev

D8N4NBCXMV D8N4NBCXMV

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

Mentions

arxiv: arXiv 2610.21475#LSTC (statement). In TTRSZVT4VX/e1, theorem 2.27

History

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

Proof that a relation is reflexive D8N55AQMZR

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#skeleton-1, Proof that a relation is reflexive (proof). In P1C114YBXG, skeleton, section H

History

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

Addition and subtraction formulas D8N7284FRR

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

Mentions

wikipedia: Wikipedia Hyperbolic functions#QVUE, Addition and subtraction formulas (statement)

History

2026-11-02: add by m2/dev

D8N7TGWKT6 D8N7TGWKT6

URI	`m2://inv/D8N7TGWKT6`
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.08633#ASQI (statement). In 7MV7RGDVXF/e1, theorem B

History

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

J. E. West D8NAWR4J9C

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KFQ9, J. E. West (unknown)

History

2026-11-02: add by m2/dev

Simultaneous-exchange rounding D8NEQ8RJYE

URI	`m2://inv/D8NEQ8RJYE`
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#1SXT, Simultaneous-exchange rounding (statement). In 9YAE8FNQST/e1, theorem 5.1

History

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

recursion principle, for a modality D8NMRRAKK8

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

Mentions

hott_book: hott_book index/6.7/recursion-principle-for-a-modality, recursion principle, for a modality (concept). In N54F33XE07, index, section 6.7

History

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

D8NR6JK8HB D8NR6JK8HB

URI	`m2://inv/D8NR6JK8HB`
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 2610.16562#AAC7 (statement). In 7QGPEBC70Y/e1, theorem 1

History

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

D8NZY0JCRN D8NZY0JCRN

URI	`m2://inv/D8NZY0JCRN`
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 2411.05198#GRRS (statement). In NJWY6HPFHG/e1, fact 3

History

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

Lists of shapes D8P19JXJAB

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

Mentions

wikipedia: Wikipedia Lists of shapes, Lists of shapes (topic). Also Wikidata Q3243136

History

2026-11-02: add by m2/dev

D8P1N9C50Z D8P1N9C50Z

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

Mentions

arxiv: arXiv 2610.18580#9PJ4 (statement). In 443TZD4P0A/e1, lemma 15

History

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

Applications D8P3ZVHK4P

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

Mentions

wikipedia: Wikipedia Young's convolution inequality#G5TT, Applications (example)

History

2026-11-02: add by m2/dev

Inverse-radius perturbations of the lattice D8PE16J0R5

URI	`m2://inv/D8PE16J0R5`
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.37704#ZQI1, Inverse-radius perturbations of the lattice (statement). In HGTFJ325A4/e1, corollary 7.4

History

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

Recovery of the recurrence sequence D8PJNB5DEP

URI	`m2://inv/D8PJNB5DEP`
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.20593#KVM3, Recovery of the recurrence sequence (statement). In 7GMD8J4200/e1, proposition 5

History

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

SSM client heterogeneity bound under total variation D8Q21XSD54

URI	`m2://inv/D8Q21XSD54`
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.02659#DTH3, SSM client heterogeneity bound under total variation (statement). In EV933413SJ/e1, lemma B.4

History

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

D8QJY2MPMP D8QJY2MPMP

URI	`m2://inv/D8QJY2MPMP`
Kind	statement
Layer	research
MSC	26-XX, 30-XX, 32-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 1804.05688#QLXY (statement). In M8F4PDHH3S/e1, lemma A.6

History

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

logic, propositional D8R06X5DST

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

Mentions

hott_book: hott_book index/A.11/logic-propositional, logic, propositional (concept). In N54F33XE07, index, section A.11

History

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

D8RJD6DC5B D8RJD6DC5B

URI	`m2://inv/D8RJD6DC5B`
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.00525#WD2R (statement). In JN34PDDXH8/e1, lemma 4.7

History

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

D8RN8WNV7R D8RN8WNV7R

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

Mentions

hott_book: hott_book setmath.tex#thm:ordsucc (statement). In N54F33XE07, lem, section C.3

History

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

Definition D8RWB3G92A

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

Mentions

wikipedia: Wikipedia Artin transfer (group theory)#EIMY, Definition (definition)

History

2026-11-02: add by m2/dev

Burkill integral D8RXVJH2JX

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

Mentions

wikipedia: Wikipedia Burkill integral, Burkill integral (definition). Also Wikidata Q4999041

History

2026-11-02: add by m2/dev

D8S5TQRE3N D8S5TQRE3N

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

Mentions

open_logic: open_logic content/lambda-calculus/lambda-definability/introduction.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 37.10

History

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

Permutation test D8SDX10EVX

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

Mentions

wikipedia: Wikipedia List of permutation topics#DY5O, Permutation test (definition)

History

2026-11-02: add by m2/dev

Sea state D8SJW5C1X7

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

Mentions

wikipedia: Wikipedia Sea state, Sea state (definition). Also Wikidata Q1569795

History

2026-11-02: add by m2/dev

Definition D8SNQ06KZ9

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

Mentions

wikipedia: Wikipedia Logical equality#84UG, Definition (definition)

History

2026-11-02: add by m2/dev

D8SSARGNZH D8SSARGNZH

URI	`m2://inv/D8SSARGNZH`
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.13723#I4XV (statement). In HPBCRT0Z0V/e1, theorem 1

History

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

Checkerboard rendering D8STVKMDP4

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#0ZLR, Checkerboard rendering (unknown)

History

2026-11-02: add by m2/dev

irreducible range D8STWGX4M0

URI	`m2://inv/D8STWGX4M0`
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.39395#YQCP, irreducible range (statement). In ZDVPJ1XX5Z/e1, proposition 4

History

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

Ruth Etzioni D8SWJF0DEJ

URI	`m2://inv/D8SWJF0DEJ`
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#0SFT, Ruth Etzioni (topic)

History

2026-11-02: add by m2/dev

D8SY3M8NFG D8SY3M8NFG

URI	`m2://inv/D8SY3M8NFG`
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.02681#ZR72 (statement). In 7BBJMB97N7/e1, lemma A.1

History

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

geography D8SY42DCQE

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

Mentions

wikidata: Wikidata Q1071, geography (definition). Also ProofWiki Definition:Geography

History

2026-10-26: add by m2/dev

D8T78JB521 D8T78JB521

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

Mentions

arxiv: arXiv 2610.17204#DK2N (definition). In 5CZ2BNV4MT/e1, definition 3.3

History

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

D8TCC3118F D8TCC3118F

URI	`m2://inv/D8TCC3118F`
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 2610.02216#A8VS (statement). In 34JGRZ2M5F/e1, lemma 6.1

History

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

D8TDJJ5F9T D8TDJJ5F9T

URI	`m2://inv/D8TDJJ5F9T`
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.30961#CY32 (statement). In FFG2DDWEVB/e1, lemma 2.2

History

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

D8TP6WMN8X D8TP6WMN8X

URI	`m2://inv/D8TP6WMN8X`
Kind	statement
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#4QSP (statement)

History

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

Quotient topology D8TWKFWAR3

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

Mentions

wikipedia: Wikipedia List of topologies#45R7, Quotient topology (definition)

History

2026-11-02: add by m2/dev

D8TX5XM26E D8TX5XM26E

URI	`m2://inv/D8TX5XM26E`
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.31458#0JBD (statement). In SNWC76WKWT/e1, lemma H.9

History

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

D8V0H04SE7 D8V0H04SE7

URI	`m2://inv/D8V0H04SE7`
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.34339#UFUV (statement). In 9WFSTGMQ4E/e1, lemma 3.2

History

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

Solid Klein bottle D8V19AYXZH

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

Mentions

wikipedia: Wikipedia Solid Klein bottle, Solid Klein bottle (definition). Also Wikidata Q3784294

History

2026-11-02: add by m2/dev

D8V5B4CZ57 D8V5B4CZ57

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

Mentions

arxiv: arXiv 2610.16431#04CL (statement). In 7NX9HA8VPM/e1, proposition 2.10

History

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

D8VBYJ4CPC D8VBYJ4CPC

URI	`m2://inv/D8VBYJ4CPC`
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.38206#DP2X (statement). In F71MS1F637/e1, proposition 5.17

History

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

D8VM7MC8GG D8VM7MC8GG

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

Mentions

arxiv: arXiv 2609.24408#JZC3 (statement)

History

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

A degree-nine inequality D8W13G4VTP

URI	`m2://inv/D8W13G4VTP`
Kind	statement
Layer	research
MSC	05-XX, 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.22465#PVZD, A degree-nine inequality (statement)

History

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

Polydrafter D8W53700R2

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

Mentions

wikidata: Wikidata Q7226297, Polydrafter (unknown). Also MathWorld Polydrafter
wikipedia: Wikipedia Polydrafter, Polydrafter (definition). Also Wikidata Q7226297

History

2026-10-26: add by m2/dev

Sato–Tate conjecture D8WJBRZ63T

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#RYUX, Sato–Tate conjecture (statement)

History

2026-11-02: add by m2/dev

Example D8WKHZWDNZ

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

Mentions

wikipedia: Wikipedia Congruence ideal#FRA5, Example (example)

History

2026-11-02: add by m2/dev

KeePassXC D8WN3NZ0DW

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

Mentions

wikipedia: Wikipedia KeePassXC, KeePassXC (definition). Also Wikidata Q28974968

History

2026-11-02: add by m2/dev

Albanian Mathematical Association D8WN7HYHPP

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

Mentions

wikipedia: Wikipedia List of mathematical societies#HNIR, Albanian Mathematical Association (unknown)

History

2026-11-02: add by m2/dev

Ricci-flat manifold D8WQ3HK9RP

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

Mentions

wikipedia: Wikipedia List of string theory topics#ZA23, Ricci-flat manifold (definition)

History

2026-11-02: add by m2/dev

Properties D8WYEYN3D5

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

Mentions

wikipedia: Wikipedia Strong dual space#NY3R, Properties (statement)

History

2026-11-02: add by m2/dev

D8X0SPRTBS D8X0SPRTBS

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

Mentions

arxiv: arXiv 2609.33124#FO0P (definition). In P27HYGQDAN/e1, definition 27

History

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

Archival research D8X51WPDPS

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

Mentions

wikipedia: Wikipedia List of psychological research methods#RUCG, Archival research (unknown)

History

2026-11-02: add by m2/dev

D8X6RE4BPY D8X6RE4BPY

URI	`m2://inv/D8X6RE4BPY`
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.35597#LUK1 (statement). In K424GCJ50P/e1, theorem 7.1

History

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

D8Y429B585 D8Y429B585

URI	`m2://inv/D8Y429B585`
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.02628#FJO3 (statement). In G4S9C5M1A4/e1, proposition 4.4

History

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

D8Y6MRABT6 D8Y6MRABT6

URI	`m2://inv/D8Y6MRABT6`
Kind	statement
Layer	research
MSC	35-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.05423#BCR6 (statement). In 3ABGS3F1JG/e1, theorem 2.2

History

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

Richtmyer–Meshkov instability D8Y7G1BCJH

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

Mentions

wikipedia: Wikipedia Richtmyer–Meshkov instability, Richtmyer–Meshkov instability (definition). Also Wikidata Q3151655

History

2026-11-02: add by m2/dev

D8YE2MMEH1 D8YE2MMEH1

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

Mentions

arxiv: arXiv 2610.01411#7GBV (statement). In SD28S3K7BT/e1, theorem 18

History

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

D8YHSZSTJC D8YHSZSTJC

URI	`m2://inv/D8YHSZSTJC`
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.06372#R0QW (statement). In G3E1P350Z6/e1, theorem 6.5

History

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

D8YJT22P4P D8YJT22P4P

URI	`m2://inv/D8YJT22P4P`
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 2401.13523#ZFFA (statement). In DDA62XQTWW/e1, proposition 4.3

History

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

equation, defining D8YJTQTR3G

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

Mentions

hott_book: hott_book index/4.1/equation-defining, equation, defining (concept). In N54F33XE07, index, section 4.1

History

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

D8YN7HCQY1 D8YN7HCQY1

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

Mentions

open_logic: open_logic content/first-order-logic/sequent-calculus/identity.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 17.4

History

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

D8Z0B6BPYT D8Z0B6BPYT

URI	`m2://inv/D8Z0B6BPYT`
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 2508.07340#GPY2 (statement). In 2HSB99DW4M/e1, proposition 5.8

History

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

Z* theorem D8Z0Q4HYXG

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

Mentions

mathlib_1000: mathlib_1000 Q8062800, Z* theorem (statement). Also Wikidata Q8062800
thousand_plus: thousand_plus Q8062800, Z* theorem (statement). Also Wikidata Q8062800, Wikipedia Z* theorem
wikipedia: Wikipedia Z* theorem, Z* theorem (statement). Also Wikidata Q8062800

History

2026-10-26: add by m2/dev

D8Z3YP38V4 D8Z3YP38V4

URI	`m2://inv/D8Z3YP38V4`
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 2610.18016#5HWS (definition). In V5PVKDKGGG/e1, definition 8.1

History

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

Strong blocking sets over arbitrary finite fields D8Z521V7R6

URI	`m2://inv/D8Z521V7R6`
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.32834#ECU2, Strong blocking sets over arbitrary finite fields (statement). In N4M6B8EMCW/e1, corollary 4.12

History

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

Ricky McCormick's encrypted notes D8Z953A4M8

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

Mentions

wikipedia: Wikipedia Ricky McCormick's encrypted notes, Ricky McCormick's encrypted notes (definition). Also Wikidata Q3855329

History

2026-11-02: add by m2/dev

Examples D8ZACKY5WF

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

Mentions

wikipedia: Wikipedia Equivariant map#B6HR, Examples (example)

History

2026-11-02: add by m2/dev

George Lusztig D8ZCZ8CHQM

URI	`m2://inv/D8ZCZ8CHQM`
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 Q426855, George Lusztig (unknown). Also nLab George Lusztig

History

2026-10-26: add by m2/dev

D8ZQ0H7TP2 D8ZQ0H7TP2

URI	`m2://inv/D8ZQ0H7TP2`
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 2212.06621#3U69 (statement). In DB223AABTH/e1, proposition 7.4

History

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

ODE filter D8ZVD4P9EM

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

Mentions

wikipedia: Wikipedia ODE filter, ODE filter (definition). Also Wikidata Q137216469

History

2026-11-02: add by m2/dev