Inventory rows E1

transpose matrix E10089DDX8

URI	`m2://inv/E10089DDX8`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Transpose 09DXWYRD43

Mentions

wikidata: Wikidata Q223683, transpose matrix (unknown). Also EoM Transposed_matrix, MathWorld Transpose
wikipedia: Wikipedia Transpose, Transpose (definition). Also Wikidata Q223683

History

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

Conditional third derivatives E100C0BD24

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

Mentions

arxiv: arXiv 2610.06490#18CA, Conditional third derivatives (statement). In NKXTXH59P1/e1, lemma E.8

History

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

Stars and bars E1041E1053

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

Mentions

wikipedia: Wikipedia Stars and bars (combinatorics), Stars and bars (definition). Also Wikidata Q7602343

History

2026-11-02: add by m2/dev

E10QCQ2QJX E10QCQ2QJX

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

Mentions

arxiv: arXiv 2609.21703#9FQW (statement)

History

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

Definition E10TPNN1MJ

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

Mentions

wikipedia: Wikipedia Constructible universe#LP2W, Definition (definition)

History

2026-11-02: add by m2/dev

Council for the Mathematical Sciences E10XQASJ40

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

Mentions

wikipedia: Wikipedia Council for the Mathematical Sciences, Council for the Mathematical Sciences (definition). Also Wikidata Q5176337

History

2026-11-02: add by m2/dev

homotopy extension property E10Z49YQPJ

URI	`m2://inv/E10Z49YQPJ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Homotopy extension property D42X0F1EG1

Mentions

wikidata: Wikidata Q9382514, homotopy extension property (unknown). Also nLab homotopy extension property
wikipedia: Wikipedia Homotopy extension property, Homotopy extension property (definition). Also Wikidata Q9382514

History

2026-10-26: add by m2/dev

Castelnuovo–de Franchis theorem E10ZC9JX8H

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

Mentions

mathlib_1000: mathlib_1000 Q5049717, Castelnuovo–de Franchis theorem (statement). Also Wikidata Q5049717
thousand_plus: thousand_plus Q5049717, Castelnuovo–de Franchis theorem (statement). Also Wikidata Q5049717, Wikipedia Castelnuovo–de Franchis theorem
wikipedia: Wikipedia Castelnuovo–de Franchis theorem, Castelnuovo–de Franchis theorem (statement). Also Wikidata Q5049717

History

2026-10-26: add by m2/dev

Alon and Frankl E10ZZ5HPDD

URI	`m2://inv/E10ZZ5HPDD`
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.24353#BIH0, Alon and Frankl (statement)

History

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

V-manifold E11F8RS5GH

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#PAAM, V-manifold (definition)

History

2026-11-02: add by m2/dev

Stone's representation theorem for Boolean algebras E11FC2X11T

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

Mentions

mathlib_1000: mathlib_1000 Q1166774, Stone's representation theorem for Boolean algebras (statement). Also Wikidata Q1166774
thousand_plus: thousand_plus Q1166774, Stone's representation theorem for Boolean algebras (statement). Also Wikidata Q1166774, Wikipedia Stone's representation theorem for Boolean algebras
wikipedia: Wikipedia Stone's representation theorem for Boolean algebras, Stone's representation theorem for Boolean algebras (statement). Also Wikidata Q1166774

History

2026-10-26: add by m2/dev

E11P7MQFWJ E11P7MQFWJ

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

Mentions

arxiv: arXiv 2610.06381#TR4N (statement). In X9JKBDHACW/e1, lemma 9.5

History

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

E121SKFY3P E121SKFY3P

URI	`m2://inv/E121SKFY3P`
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.39455#E2VS (statement). In HW4Y4TMEZ3/e1, lemma 4.3

History

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

Novikov's compact leaf theorem for S3 E122JPY3NQ

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

Mentions

wikipedia: Wikipedia Novikov's compact leaf theorem#3FYU, Novikov's compact leaf theorem for S3 (statement)

History

2026-11-02: add by m2/dev

Helmut Schwichtenberg E123KHR6P0

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

Mentions

wikipedia: Wikipedia Helmut Schwichtenberg, Helmut Schwichtenberg (topic). Also Wikidata Q1291944

History

2026-11-02: add by m2/dev

E12BHH1Q8Q E12BHH1Q8Q

URI	`m2://inv/E12BHH1Q8Q`
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.21915#D61X (statement)

History

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

Theorem E12FS9TJRW

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

Mentions

wikipedia: Wikipedia Integration by parts#3TAV, Theorem (statement)

History

2026-11-02: add by m2/dev

E12G2TTBXP E12G2TTBXP

URI	`m2://inv/E12G2TTBXP`
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.26033#0PBV (statement)

History

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

Definition E12HKFY1C2

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

Mentions

wikipedia: Wikipedia Turing reduction#B694, Definition (definition)

History

2026-11-02: add by m2/dev

HP-22S E12HKZZM1K

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

Mentions

wikipedia: Wikipedia HP-22S, HP-22S (definition). Also Wikidata Q5635553

History

2026-11-02: add by m2/dev

Frozen-tilt upper bound, informal E135F5NGC2

URI	`m2://inv/E135F5NGC2`
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.03633#JXT1, Frozen-tilt upper bound, informal (statement). In X3E4D61X4V/e1, theorem 4.2

History

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

Euclid E136V0DK0K

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

Mentions

wikipedia: Wikipedia List of conjectures#T46T, Euclid (topic)

History

2026-11-02: add by m2/dev

Bayesian Nash equilibrium E13DC043XJ

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

Mentions

wikipedia: Wikipedia Bayesian game#LHK2, Bayesian Nash equilibrium (unknown)

History

2026-11-02: add by m2/dev

Asteroid E13E5NHSHH

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

Mentions

wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#1DYZ, Asteroid (unknown)

History

2026-11-02: add by m2/dev

Dialect (computing) E13E75Y93G

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

Mentions

wikipedia: Wikipedia Programming language#NVBB, Dialect (computing) (unknown)

History

2026-11-02: add by m2/dev

E13ET0N8YA E13ET0N8YA

URI	`m2://inv/E13ET0N8YA`
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.05820#44G2 (statement). In S8EGCJQ0JV/e1, theorem 7.1

History

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

E13Q2B19WK E13Q2B19WK

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

Mentions

arxiv: arXiv 2610.01216#67RE (statement). In 59016RQTW6/e1, lemma 10.1

History

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

System-node realization E13SA36D84

URI	`m2://inv/E13SA36D84`
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.03242#4L2V, System-node realization (statement). In MJE6HRC6PX/e1, theorem 7.1

History

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

E13ZECJEQM E13ZECJEQM

URI	`m2://inv/E13ZECJEQM`
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.04252#UL1Q (statement). In ZF0Z61VQ96/e1, lemma 4.9

History

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

Douglas Woodall E1437MEAXN

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

Mentions

wikipedia: Wikipedia Douglas Woodall, Douglas Woodall (topic). Also Wikidata Q102178307

History

2026-11-02: add by m2/dev

Piranha E146YZ2GJ0

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#ERMR, Piranha (unknown)

History

2026-11-02: add by m2/dev

E14C641TE7 E14C641TE7

URI	`m2://inv/E14C641TE7`
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.21339#MDKW (statement)

History

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

E14G4K3MYS E14G4K3MYS

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

Mentions

arxiv: arXiv 2610.00109#LJ59 (statement). In FS8J84KFX2/e1, theorem 1.1

History

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

E14HAF20RJ E14HAF20RJ

URI	`m2://inv/E14HAF20RJ`
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.23350#X8S0 (statement)

History

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

E14W1GPSH4 E14W1GPSH4

URI	`m2://inv/E14W1GPSH4`
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.23994#I752 (statement)

History

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

Margaret C. Wu E1540JRXKE

URI	`m2://inv/E1540JRXKE`
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#V0Z9, Margaret C. Wu (topic)

History

2026-11-02: add by m2/dev

Poincaré Conjecture E15AVBA3JH

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

Mentions

wikipedia: Wikipedia Colin P. Rourke#Y8Q6, Poincaré Conjecture (statement)

History

2026-11-02: add by m2/dev

E15C1B5NSE E15C1B5NSE

URI	`m2://inv/E15C1B5NSE`
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.29759#E46K (definition)

History

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

E15C3CV5JT E15C3CV5JT

URI	`m2://inv/E15C3CV5JT`
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.40207#QWAJ (statement). In JXTG8KP95P/e1, lemma 5.22

History

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

subscheme E15K644VQ4

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#LGEN, subscheme (definition)

History

2026-11-02: add by m2/dev

E15NMRQZWW E15NMRQZWW

URI	`m2://inv/E15NMRQZWW`
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.03288#EH19 (statement). In ZHP1MFSACN/e1, theorem 1.3

History

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

E15X0GF2VN E15X0GF2VN

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

Mentions

arxiv: arXiv 2610.21675#L5Q3 (definition). In TB1294GY5X/e1, definition 4.1

History

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

E15XPXJHE0 E15XPXJHE0

URI	`m2://inv/E15XPXJHE0`
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.31363#T5B7 (statement). In XB8NYRD86J/e1, lemma 4.1

History

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

E16FQTRJHS E16FQTRJHS

URI	`m2://inv/E16FQTRJHS`
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.36334#SPSV (definition). In YVB70SBGN1/e1, definition

History

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

genus E16SXCPDPG

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#IAEK, genus (definition)

History

2026-11-02: add by m2/dev

Geometric laws E1729KKBQD

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

Mentions

wikipedia: Wikipedia Law (mathematics)#9PYN, Geometric laws (statement)

History

2026-11-02: add by m2/dev

Helly metric E172JR8EMF

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

Mentions

wikipedia: Wikipedia Helly metric, Helly metric (definition). Also Wikidata Q5709140

History

2026-11-02: add by m2/dev

Ramdas L. Bhirud E176GKYD0H

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

Mentions

wikipedia: Wikipedia Ramdas L. Bhirud, Ramdas L. Bhirud (topic). Also Wikidata Q28062484

History

2026-11-02: add by m2/dev

Korovkin approximation E176YEF6TB

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

Mentions

wikipedia: Wikipedia Korovkin approximation, Korovkin approximation (definition). Also Wikidata Q1784675

History

2026-11-02: add by m2/dev

Definition E179ZPF36A

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

Mentions

wikipedia: Wikipedia Sectional curvature#L6DY, Definition (definition)

History

2026-11-02: add by m2/dev

Open problems E17D4ZRRPB

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

Mentions

wikipedia: Wikipedia Problems in Latin squares#3DGN, Open problems (statement)

History

2026-11-02: add by m2/dev

E17F0PQXDA E17F0PQXDA

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

Mentions

arxiv: arXiv 2609.21191#RKTT (definition)

History

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

E17FWG6ZP5 E17FWG6ZP5

URI	`m2://inv/E17FWG6ZP5`
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-3 (exercise). In 649HGZKE96, exercise, section 6.3

History

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

Lemma E17K2RA9AN

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

Mentions

wikipedia: Wikipedia Exact couple#ZIQ9, Lemma (statement)

History

2026-11-02: add by m2/dev

E17PEP0QGN E17PEP0QGN

URI	`m2://inv/E17PEP0QGN`
Kind	definition
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.05216#YL83 (definition). In J1VCHM6V0S/e1, definition 3.7

History

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

Examples E17QZNS40K

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

Mentions

wikipedia: Wikipedia Voronoi diagram#TYND, Examples (example)

History

2026-11-02: add by m2/dev

E17YGNJTRH E17YGNJTRH

URI	`m2://inv/E17YGNJTRH`
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.20760#8B4V (statement). In 6G9JSJ5JMP/e1, corollary 22

History

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

indecomposable continuum E17ZCY124M

URI	`m2://inv/E17ZCY124M`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Indecomposable continuum 56J7DSVAZH

Mentions

wikidata: Wikidata Q2995675, indecomposable continuum (unknown). Also MathWorld IndecomposableContinuum
wikipedia: Wikipedia Indecomposable continuum, Indecomposable continuum (definition). Also Wikidata Q2995675

History

2026-10-26: add by m2/dev

weak E18058VPZN

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

Mentions

wikipedia: Wikipedia Glossary of module theory#AFJW, weak (definition)

History

2026-11-02: add by m2/dev

E185FB6F18 E185FB6F18

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

Mentions

arxiv: arXiv 2609.30750#P75F (example). In DACV7NTAAK/e1, example D.1

History

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

E18F6QE19J E18F6QE19J

URI	`m2://inv/E18F6QE19J`
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-116 (exercise). In E9HS8K3A52, exercise, section 4.9.1

History

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

E18P3GTBJ2 E18P3GTBJ2

URI	`m2://inv/E18P3GTBJ2`
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.01273#MKZ5 (statement). In RAT41DDR51/e1, theorem 5.2

History

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

E18RKRFF39 E18RKRFF39

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

Mentions

arxiv: arXiv 2610.05193#9KE6 (definition). In XDMM0KNNZ9/e1, definition 47

History

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

E18X8HSA88 E18X8HSA88

URI	`m2://inv/E18X8HSA88`
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 2601.15403#FVF1 (statement). In BSWNH3NW1M/e1, lemma 9.11

History

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

Definition E192KJRVBM

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

Mentions

wikipedia: Wikipedia Primitive recursive function#HL0Y, Definition (definition)

History

2026-11-02: add by m2/dev

E192XS0FYF E192XS0FYF

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

Mentions

arxiv: arXiv 2609.20488#FAMN (statement)

History

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

E193KJTWZ5 E193KJTWZ5

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

Mentions

hott_book: hott_book equivalences.tex#proof-30 (proof). In N54F33XE07, proof, section 3.9

History

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

Truncated 8-orthoplexes E193TBBZA5

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

Mentions

wikipedia: Wikipedia Truncated 8-orthoplexes, Truncated 8-orthoplexes (definition). Also Wikidata Q7847872

History

2026-11-02: add by m2/dev

Weaker versions of the theorem E199R7PM1D

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

Mentions

wikipedia: Wikipedia Knaster–Tarski theorem#6QFF, Weaker versions of the theorem (statement)

History

2026-11-02: add by m2/dev

E19CMCT41N E19CMCT41N

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

Mentions

arxiv: arXiv 2609.40207#F8XA (definition). In JXTG8KP95P/e1, definition 2.5

History

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

Haim Hanani E19FDWJGGP

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#34Z9, Haim Hanani (topic)

History

2026-11-02: add by m2/dev

The gain gap vanishes with $\tau$ E19G2T2RVG

URI	`m2://inv/E19G2T2RVG`
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.14988#KQYN, The gain gap vanishes with $\tau$ (statement). In B29M4E6KGC/e1, corollary G.2

History

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

E19VDVZPM3 E19VDVZPM3

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

Mentions

arxiv: arXiv 2609.27301#K8WE (definition)

History

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

RIPEMD E19ZJSAQ17

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#9ZDW, RIPEMD (definition)

History

2026-11-02: add by m2/dev

Applications E1A4DP2N5R

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

Mentions

wikipedia: Wikipedia Translation (geometry)#EWU2, Applications (example)

History

2026-11-02: add by m2/dev

Binomial approximation E1AJ5VGVFY

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

Mentions

wikipedia: Wikipedia Binomial approximation, Binomial approximation (definition). Also Wikidata Q4914487

History

2026-11-02: add by m2/dev

Koebe quarter theorem E1AKBM7S43

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

Mentions

lebl_scv: lebl_scv index/B/koebe-quarter-theorem, Koebe quarter theorem (concept). In VNMV985MXX, index, section B

History

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

HTTPS interception E1AKQ8JYE6

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

Mentions

wikipedia: Wikipedia Transport Layer Security#GJK6, HTTPS interception (unknown)

History

2026-11-02: add by m2/dev

E1ANVBZAHC E1ANVBZAHC

URI	`m2://inv/E1ANVBZAHC`
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.25983#WXPP (statement)

History

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

θ E1APEZ5076

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

Mentions

wikipedia: Wikipedia Glossary of set theory#7FJZ, θ (definition)

History

2026-11-02: add by m2/dev

E1B1MY2JQ0 E1B1MY2JQ0

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

Mentions

arxiv: arXiv 2610.21945#PP55 (statement). In 371P9QASSJ/e1, proposition 4.3

History

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

dimensional regularization E1B2VFWH1S

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

Mentions

wikidata: Wikidata Q5277275, dimensional regularization (unknown). Also nLab dimensional regularization
wikipedia: Wikipedia Dimensional regularization, Dimensional regularization (definition). Also Wikidata Q5277275

History

2026-10-26: add by m2/dev

E1B6N80JX7 E1B6N80JX7

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#defn-9 (definition). In E59CDZA4DP, defn, section 2.6

History

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

Kathy Ensor E1B8RGAE10

URI	`m2://inv/E1B8RGAE10`
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#Q33M, Kathy Ensor (topic)

History

2026-11-02: add by m2/dev

the quartic term E1B912ADB9

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

Mentions

arxiv: arXiv 2610.18803#NA1P, the quartic term (statement). In VG8AF124T3/e1, corollary 4.2

History

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

Artin algebra E1BBNDCGRH

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

Mentions

wikipedia: Wikipedia List of things named after Emil Artin#LZ6I, Artin algebra (definition)

History

2026-11-02: add by m2/dev

E1BCJ0QY8Z E1BCJ0QY8Z

URI	`m2://inv/E1BCJ0QY8Z`
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.14838#OSCW (definition). In J7ZX3WWRQP/e1, definition 2.17

History

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

Maximum theorem E1BKF1QW48

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#T054, Maximum theorem (statement)

History

2026-11-02: add by m2/dev

Conway group E1BPZB4XQS

URI	`m2://inv/E1BPZB4XQS`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Conway groups 366D4ETGQH

Mentions

wikidata: Wikidata Q942433, Conway group (unknown). Also MathWorld ConwayGroups, nLab Conway group
wikipedia: Wikipedia Conway group, Conway group (definition). Also Wikidata Q942433

History

2026-10-26: add by m2/dev

Passage from rational to integral finiteness E1BX5YYZ1A

URI	`m2://inv/E1BX5YYZ1A`
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.26318#07QX, Passage from rational to integral finiteness (statement)

History

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

Equivalent definition E1CCFBRGMC

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

Mentions

wikipedia: Wikipedia RE (complexity)#5TJS, Equivalent definition (definition)

History

2026-11-02: add by m2/dev

Finite-horizon shadowing E1CGHZHPY3

URI	`m2://inv/E1CGHZHPY3`
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#DTNE, Finite-horizon shadowing (statement). In YCRZC9SDCE/e1, proposition 5.7

History

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

E1CXHHD7ZT E1CXHHD7ZT

URI	`m2://inv/E1CXHHD7ZT`
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.11210#TJU2 (statement). In CRFDGFZHBF/e1, theorem 8.8

History

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

loop space E1D20ETYKZ

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

Mentions

hott_book: hott_book index/7.4/loop-space, loop space (concept). In N54F33XE07, index, section 7.4

History

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

Examples E1D5P8NHS0

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

Mentions

wikipedia: Wikipedia Complete group#AQ8P, Examples (example)

History

2026-11-02: add by m2/dev

Dikran Tahta E1D8DFGH06

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

Mentions

wikipedia: Wikipedia Dikran Tahta, Dikran Tahta (topic). Also Wikidata Q5276571

History

2026-11-02: add by m2/dev

E1DAW99EZY E1DAW99EZY

URI	`m2://inv/E1DAW99EZY`
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.10074#K2IH (statement). In BYAANB1NG0/e1, lemma 5.2

History

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

retraction E1DEMMPJSC

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

Mentions

hott_book: hott_book index/6.1/retraction, retraction (concept). In N54F33XE07, index, section 6.1

History

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

E1DFH206FH E1DFH206FH

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

Mentions

arxiv: arXiv 2406.06762#UPV2 (definition). In J99PFFJXPE/e1, definition 2.1

History

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

Hilbert's eighteenth problem E1DGVGY7TS

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

Mentions

wikipedia: Wikipedia Hilbert's eighteenth problem, Hilbert's eighteenth problem (problem). Also Wikidata Q11059889

History

2026-11-02: add by m2/dev

E1DWAM2CCX E1DWAM2CCX

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

Mentions

arxiv: arXiv 2609.20119#HJ3E (definition)

History

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

Interval support near criticality E1ETY7GWYF

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

Mentions

arxiv: arXiv 2610.06480#3SX0, Interval support near criticality (statement). In 2Y47E704Z9/e1, proposition 8.4

History

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

Netiv HaAsara E1F2MAXFNV

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

Mentions

wikipedia: Wikipedia List of places with numeric names#BE9H, Netiv HaAsara (unknown)

History

2026-11-02: add by m2/dev

Rigidity of the stiffness comparison E1F2VCN283

URI	`m2://inv/E1F2VCN283`
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.19837#9FK5, Rigidity of the stiffness comparison (statement). In 837NSWQM1P/e1, lemma 5.2

History

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

time series E1F44TA2WG

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#NASB, time series (definition)

History

2026-11-02: add by m2/dev

E1F748D274 E1F748D274

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

Mentions

arxiv: arXiv 2609.30579#2MPY (statement). In FDYZFDHZH9/e1, corollary 4.15

History

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

E1F77BVDTC E1F77BVDTC

URI	`m2://inv/E1F77BVDTC`
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.14988#Z05T (statement). In B29M4E6KGC/e1, proposition G.1

History

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

Legendre transformation E1FAAMRFXR

URI	`m2://inv/E1FAAMRFXR`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Legendre transformation ZQYMWVT1TT

Mentions

wikidata: Wikidata Q908652, Legendre transformation (concept). Also MathWorld LegendreTransformation, nLab Legendre transformation
wikipedia: Wikipedia Legendre transformation, Legendre transformation (definition). Also Wikidata Q908652

History

2026-10-26: add by m2/dev

Lipschitz E1FFCDYT1R

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#H01D, Lipschitz (definition)

History

2026-11-02: add by m2/dev

E1FNN8FKDJ E1FNN8FKDJ

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

Mentions

arxiv: arXiv 2609.25106#Z4RL (statement)

History

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

E1FP69M9K1 E1FP69M9K1

URI	`m2://inv/E1FP69M9K1`
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#MMB7 (statement). In CEKW9CNVVW/e1, theorem 6.4

History

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

E1FYEJD8PA E1FYEJD8PA

URI	`m2://inv/E1FYEJD8PA`
Kind	statement
Layer	research
MSC	26-XX, 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.01958#EFZZ (statement). In NQFYT2M6YZ/e1, corollary 3.4

History

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

Proposition I E1G0XRVSF1

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

Mentions

wikipedia: Wikipedia Modigliani–Miller theorem#XB2E, Proposition I (statement)

History

2026-11-02: add by m2/dev

E1GB8MH080 E1GB8MH080

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

Mentions

open_logic: open_logic content/normal-modal-logic/frame-definability/definability.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 52.5

History

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

Boolean function E1GBCX18PB

URI	`m2://inv/E1GBCX18PB`
Kind	definition
Layer	textbook
MSC	94C10
Sources	2
Outcome	node (a node has the same name as the row)
Node	Boolean function 0A58THH5XV

Mentions

wikidata: Wikidata Q942353, Boolean function (topic). Also EoM Boolean_function, MathWorld BooleanFunction, nLab boolean function
wikipedia: Wikipedia Boolean function, Boolean function (definition). Also Wikidata Q942353

History

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

E1GHTMEKFV E1GHTMEKFV

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

Mentions

arxiv: arXiv 2610.08583#HKNS (statement). In 5EKTECQ2P1/e1, theorem 6.2

History

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

Comaximal E1GJ8R0APH

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

Mentions

wikipedia: Wikipedia Ideal (ring theory)#G2YV, Comaximal (unknown)

History

2026-11-02: add by m2/dev

Properties E1GZDC6734

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

Mentions

wikipedia: Wikipedia Medial graph#U9GU, Properties (statement)

History

2026-11-02: add by m2/dev

Rudolf Halin E1H7G73BW7

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

Mentions

wikipedia: Wikipedia List of German mathematicians#DZWC, Rudolf Halin (topic)

History

2026-11-02: add by m2/dev

Leibniz harmonic triangle E1HF4JVVCD

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

Mentions

wikidata: Wikidata Q649470, Leibniz harmonic triangle (unknown). Also MathWorld LeibnizHarmonicTriangle
wikipedia: Wikipedia Leibniz harmonic triangle, Leibniz harmonic triangle (definition). Also Wikidata Q649470

History

2026-10-26: add by m2/dev

maximum principle E1HFE60RR6

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

Mentions

wikidata: Wikidata Q1914255, maximum principle (topic)
wikipedia: Wikipedia Maximum principle, Maximum principle (statement). Also Wikidata Q1914255

History

2026-10-26: add by m2/dev

Peter Donnelly E1HFRGT768

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

Mentions

wikipedia: Wikipedia Peter Donnelly, Peter Donnelly (topic). Also Wikidata Q7173699

History

2026-11-02: add by m2/dev

combinatorial map E1HKTMTM8B

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

Mentions

wikidata: Wikidata Q2940480, combinatorial map (concept). Also nLab combinatorial map
wikipedia: Wikipedia Combinatorial map, Combinatorial map (definition). Also Wikidata Q2940480

History

2026-10-26: add by m2/dev

E1HMMC261B E1HMMC261B

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

Mentions

arxiv: arXiv 2609.35577#RM6Q (statement). In 4F8QRV05BV/e1, lemma 2.22

History

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

E1HXMN30KR E1HXMN30KR

URI	`m2://inv/E1HXMN30KR`
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.25314#ZFCL (statement)

History

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

Application E1HZABXXBM

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

Mentions

wikipedia: Wikipedia Loosemore–Hanby index#PK4F, Application (example)

History

2026-11-02: add by m2/dev

branched covering E1J60EKY6S

URI	`m2://inv/E1J60EKY6S`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Branched covering YARENZRXTD

Mentions

wikidata: Wikidata Q4956410, branched covering (unknown). Also nLab branched cover
wikipedia: Wikipedia Branched covering, Branched covering (definition). Also Wikidata Q4956410

History

2026-10-26: add by m2/dev

E1JCS1BCYZ E1JCS1BCYZ

URI	`m2://inv/E1JCS1BCYZ`
Kind	definition
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.19300#BIS3 (definition). In S6S4RD5VXJ/e1, definition 1

History

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

Hilbert space dimension E1JFTKYE0W

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

Mentions

wikipedia: Wikipedia Hilbert space#BCNC, Hilbert space dimension (unknown)

History

2026-11-02: add by m2/dev

Joint diffusion limit E1JNWPME6Q

URI	`m2://inv/E1JNWPME6Q`
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.17946#LNJ5, Joint diffusion limit (statement). In A7HTYWJNCX/e1, theorem 3

History

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

E1JP2T2BFX E1JP2T2BFX

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

Mentions

arxiv: arXiv 2610.02244#PPP0 (statement). In 3REM2EXQK7/e1, lemma 2.15

History

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

Neutral Predicate $\Ne_i^a$ E1JTYNHH2T

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

Mentions

arxiv: arXiv 2610.21131#2M6S, Neutral Predicate $\Ne_i^a$ (definition). In CPYWHRTPKC/e1, definition 7.14

History

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

Wang--Wang--Yu E1K3K0QYTG

URI	`m2://inv/E1K3K0QYTG`
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.30315#NUPV, Wang--Wang--Yu (statement). In FXTCVHYW5S/e1, lemma 5.6

History

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

Lipschitz convex test functions E1K60SS406

URI	`m2://inv/E1K60SS406`
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.07404#XN6F, Lipschitz convex test functions (statement). In VAJ9MBT3SJ/e1, lemma 8

History

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

E1K7W4RTGC E1K7W4RTGC

URI	`m2://inv/E1K7W4RTGC`
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.05032#D94Z (statement). In DDNK8D4359/e1, proposition 4.1

History

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

E1KFHPMQBY E1KFHPMQBY

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-starsbars.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 2.5

History

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

Exponential family E1KZQXHN6D

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

Mentions

mathlib_1000: mathlib_1000 Q1188504, Pitman–Koopman–Darmois theorem (statement). Also Wikidata Q1188504
thousand_plus: thousand_plus Q1188504, Pitman–Koopman–Darmois theorem (statement). Also Wikidata Q1188504, Wikipedia Pitman–Koopman–Darmois theorem
wikipedia: Wikipedia Exponential family, Exponential family (definition). Also Wikidata Q1188504

History

2026-10-26: add by m2/dev

Group cohomology E1M15D5PY5

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

Mentions

wikipedia: Wikipedia List of group theory topics#F56N, Group cohomology (definition)
wikipedia: Wikipedia List of homological algebra topics#XNIT, Group cohomology (definition)
wikipedia: Wikipedia List of algebraic topology topics#6SDJ, Group cohomology (definition)

History

2026-11-02: add by m2/dev

E1M926B560 E1M926B560

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

Mentions

arxiv: arXiv 2609.26477#VUW7 (statement)
arxiv: arXiv 2609.26500#5FAY (statement)

History

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

a priori estimate E1MN0RTWMK

URI	`m2://inv/E1MN0RTWMK`
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.17678#KU1Y, a priori estimate (statement). In V753EAWQ3S/e1, theorem 5.2

History

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

E1MV39SVW9 E1MV39SVW9

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

Mentions

arxiv: arXiv 2609.25321#7K1U (statement)

History

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

Heinrich Behnke E1N02A48HQ

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

Mentions

wikipedia: Wikipedia Heinrich Behnke, Heinrich Behnke (topic). Also Wikidata Q67317

History

2026-11-02: add by m2/dev

ITP method E1N9DJKPMX

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

Mentions

wikipedia: Wikipedia List of algorithms#VM98, ITP method (definition)

History

2026-11-02: add by m2/dev

Examples E1N9EGTK7D

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

Mentions

wikipedia: Wikipedia Evasive Boolean function#UY36, Examples (example)

History

2026-11-02: add by m2/dev

adjoint, functor E1NCB8SHK3

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

Mentions

hott_book: hott_book index/1/adjoint-functor, adjoint, functor (concept). In N54F33XE07, index, section 1

History

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

Pure-strategy Nash equilibrium in Game II - strategies of type $\distr(\calda)$ E1NED4HWAS

URI	`m2://inv/E1NED4HWAS`
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 1803.10042#732O, Pure-strategy Nash equilibrium in Game II - strategies of type $\distr(\calda)$ (statement). In 718SP8YERQ/e1, theorem A3

History

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

E1NEK9BH67 E1NEK9BH67

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

Mentions

arxiv: arXiv 2610.15525#N26W (statement). In EFDRME13PT/e1, proposition 6.6

History

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

E1NFRH6JED E1NFRH6JED

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

Mentions

open_logic: open_logic content/turing-machines/undecidability/universal-tm.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 87.1

History

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

E1NH053RG3 E1NH053RG3

URI	`m2://inv/E1NH053RG3`
Kind	statement
Layer	research
MSC	05-XX, 46-XX, 47-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 1711.00219#5C41 (statement). In 7V3HG30ZGW/e1, proposition A.23

History

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

John Mallet-Paret E1NN1B5TXQ

URI	`m2://inv/E1NN1B5TXQ`
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#YW5U, John Mallet-Paret (unknown)

History

2026-11-02: add by m2/dev

E1NSAVJXEJ E1NSAVJXEJ

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

Mentions

arxiv: arXiv 2609.28297#YJ1K (statement)

History

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

homotopy, (pre)category of types E1NXVTDMRB

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

Mentions

hott_book: hott_book index/2.1/homotopy-pre-category-of-types, homotopy, (pre)category of types (concept). In N54F33XE07, index, section 2.1

History

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

Cryptographic multilinear map E1PBGTNHFP

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

Mentions

wikipedia: Wikipedia Cryptographic multilinear map, Cryptographic multilinear map (definition). Also Wikidata Q55608620

History

2026-11-02: add by m2/dev

Exact-shift resonance E1PF53SB2R

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

Mentions

arxiv: arXiv 2609.20215#75VY, Exact-shift resonance (statement)

History

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

Well-definedness of the smallness stratification E1PW5D8CK0

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

Mentions

arxiv: arXiv 2610.10930#M8HE, Well-definedness of the smallness stratification (statement). In HX63A1PH1W/e1, proposition 3.83

History

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

Constrained local Schur complement E1PXE1FACW

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

Mentions

arxiv: arXiv 2609.38871#N5BQ, Constrained local Schur complement (statement). In X705R2Q780/e1, lemma 4.2

History

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

Uses E1PXG5KW2C

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

Mentions

wikipedia: Wikipedia Interaction information#7NU9, Uses (example)

History

2026-11-02: add by m2/dev

Extending vectors to parallel vector fields E1PZC9TCFQ

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

Mentions

arxiv: arXiv 2406.06762#MN3H, Extending vectors to parallel vector fields (statement). In J99PFFJXPE/e1, proposition 3.19

History

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

Anatole Katok E1Q5W231K6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#IA2Q, Anatole Katok (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IBE7, Anatole Katok (topic)

History

2026-11-02: add by m2/dev

E1Q74FC4FW E1Q74FC4FW

URI	`m2://inv/E1Q74FC4FW`
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.31269#RR90 (definition). In ZPT9XCCAPQ/e1, definition 1.4.5

History

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

E1QA0DXYAG E1QA0DXYAG

URI	`m2://inv/E1QA0DXYAG`
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 2610.22247#05TK (statement). In SBNH1MWND8/e1, lemma 16

History

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

Augmented Dickey–Fuller test E1QF2PMZE7

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

Mentions

wikipedia: Wikipedia Augmented Dickey–Fuller test, Augmented Dickey–Fuller test (definition). Also Wikidata Q10380929

History

2026-11-02: add by m2/dev

Davies–Bouldin index E1QGJ43ZHK

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

Mentions

wikipedia: Wikipedia Davies–Bouldin index, Davies–Bouldin index (definition). Also Wikidata Q5241761

History

2026-11-02: add by m2/dev

E1QP2Z79CC E1QP2Z79CC

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

Mentions

arxiv: arXiv 2610.06683#NVJM (statement). In NH7VBYH6PH/e1, theorem 3.1

History

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

E1QXT644P3 E1QXT644P3

URI	`m2://inv/E1QXT644P3`
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.22657#MG90 (statement)

History

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

local Gale duality E1R0KM18N2

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

Mentions

arxiv: arXiv 2610.13291#7PU6, local Gale duality (statement). In D16PSAVVWV/e1, proposition 5.1

History

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

E1RBY61GAY E1RBY61GAY

URI	`m2://inv/E1RBY61GAY`
Kind	statement
Layer	research
MSC	05-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.09506#L0SA (statement). In AQC7E6RAT4/e1, theorem 1.2

History

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

E1RCVAABBG E1RCVAABBG

URI	`m2://inv/E1RCVAABBG`
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#ETXC (statement). In S7PNTM0GZC/e1, proposition 1.12

History

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

E1RE2FHR4E E1RE2FHR4E

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

Mentions

arxiv: arXiv 2610.17276#1579 (statement). In GG14QF0JKJ/e1, lemma 2.16

History

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

E1REWKHNV9 E1REWKHNV9

URI	`m2://inv/E1REWKHNV9`
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 2604.10080#WT5Y (statement). In KM2FWKP93A/e1, proposition 2.17

History

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

E1RJ950SK9 E1RJ950SK9

URI	`m2://inv/E1RJ950SK9`
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#P5P5 (statement). In XZ4MRWR77Q/e1, theorem 4

History

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

E1RV76QXB1 E1RV76QXB1

URI	`m2://inv/E1RV76QXB1`
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 2609.21034#TFDY (statement)

History

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

E1RY4VHRKF E1RY4VHRKF

URI	`m2://inv/E1RY4VHRKF`
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.35421#2IAH (statement). In KE8B8KMDJJ/e1, proposition 5

History

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

Properties E1S3HJ8CD2

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

Mentions

wikipedia: Wikipedia Hilbert matrix#JK94, Properties (statement)

History

2026-11-02: add by m2/dev

Definition E1S98AJCYZ

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

Mentions

wikipedia: Wikipedia Cap product#PDPK, Definition (definition)

History

2026-11-02: add by m2/dev

2022 Bangladeshi census E1SN3W0JK0

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

Mentions

wikipedia: Wikipedia 2022 Bangladeshi census, 2022 Bangladeshi census (definition). Also Wikidata Q111948035

History

2026-11-02: add by m2/dev

Disquisitiones Arithmeticae E1SNTXG214

URI	`m2://inv/E1SNTXG214`
Kind	definition
Layer	textbook
Sources	2
Outcome	out_of_scope (a book or a journal, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q510675, Disquisitiones Arithmeticae (unknown). Also nLab Disquisitiones Arithmeticae
wikipedia: Wikipedia Disquisitiones Arithmeticae, Disquisitiones Arithmeticae (definition). Also Wikidata Q510675

History

2026-10-26: add by m2/dev

Collatz conjecture E1SRAEY6VW

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

Mentions

wikipedia: Wikipedia List of number theory topics#B7OF, Collatz conjecture (conjecture)
wikipedia: Wikipedia List of number theory topics#DYDQ, Collatz conjecture (conjecture)

History

2026-11-02: add by m2/dev

E1SVCKNWF5 E1SVCKNWF5

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

Mentions

open_logic: open_logic content/sets-functions-relations/arithmetization/integers.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 78.4

History

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

E1T2CVSRFG E1T2CVSRFG

URI	`m2://inv/E1T2CVSRFG`
Kind	definition
Layer	research
MSC	19-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.02017#OL1B (definition). In F6C80AEXC1/e1, definition 2.3

History

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

Ergebnisse der Mathematik und ihrer Grenzgebiete E1T4W3XQW3

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

Mentions

wikipedia: Wikipedia Ergebnisse der Mathematik und ihrer Grenzgebiete, Ergebnisse der Mathematik und ihrer Grenzgebiete (definition). Also Wikidata Q5385797

History

2026-11-02: add by m2/dev

Formal definition E1T5VQKB33

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

Mentions

wikipedia: Wikipedia Knot (mathematics)#YUZW, Formal definition (definition)

History

2026-11-02: add by m2/dev

Zonohedron E1TDSM15TY

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#4ONO, Zonohedron (object)

History

2026-11-02: add by m2/dev

Properties E1TGVP3MME

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

Mentions

wikipedia: Wikipedia Barzilai–Borwein method#80DW, Properties (statement)

History

2026-11-02: add by m2/dev

E1TPPCZBBZ E1TPPCZBBZ

URI	`m2://inv/E1TPPCZBBZ`
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.21535#OGVC (statement)

History

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

Random Matrices: Theory and Applications E1TTHPDCT0

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

Mentions

wikipedia: Wikipedia List of probability journals#ZW3Q, Random Matrices: Theory and Applications (unknown)

History

2026-11-02: add by m2/dev

E1V5D2WPC4 E1V5D2WPC4

URI	`m2://inv/E1V5D2WPC4`
Kind	unknown
Layer	research
MSC	65-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.04761#C1E7 (unknown). In SJC0GJQCFQ/e1, unknown

History

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

angular measure E1V64GZYDQ

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

Mentions

wikidata: Wikidata Q1357788, angular measure (unknown). Also MathWorld AngularDistance
wikipedia: Wikipedia Angular distance, Angular distance (definition). Also Wikidata Q1357788

History

2026-10-26: add by m2/dev

E1V67784B7 E1V67784B7

URI	`m2://inv/E1V67784B7`
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-82 (exercise). In E9HS8K3A52, exercise, section 5.7

History

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

$V$ versus $V^\vee$ for complex inner forms E1V8367VWP

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

Mentions

napkin: napkin tex/linalg/transpose.tex#theorem-2, $V$ versus $V^\vee$ for complex inner forms (statement). In RZP28ERRZV, theorem, section 61.3

History

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

Oseen tensor E1V9PFA89S

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

Mentions

wikipedia: Wikipedia Stokes flow#Y7WH, Oseen tensor (unknown)

History

2026-11-02: add by m2/dev

E1V9ZY2MK7 E1V9ZY2MK7

URI	`m2://inv/E1V9ZY2MK7`
Kind	statement
Layer	research
MSC	26-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.14811#YWV9 (statement). In QA5CM6HNM1/e1, lemma 10.2

History

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

Algorithm E1VBSX5ZG7

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

Mentions

wikipedia: Wikipedia Horn-satisfiability#LIT3, Algorithm (definition)

History

2026-11-02: add by m2/dev

Nonabelian Hodge theorem (moduli space version) E1VEAANSZX

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

Mentions

wikipedia: Wikipedia Nonabelian Hodge correspondence#5X8Y, Nonabelian Hodge theorem (moduli space version) (statement)

History

2026-11-02: add by m2/dev

Luzin's theorem E1VTRCNBE3

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

Mentions

wikipedia: Wikipedia List of theorems#CJNZ, Luzin's theorem (statement)

History

2026-11-02: add by m2/dev

E1VYBHHW5Y E1VYBHHW5Y

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

Mentions

wikipedia: Wikipedia Lovász conjecture#LAAA (problem)

History

2026-11-02: add by m2/dev

E1W1F76NE7 E1W1F76NE7

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

Mentions

arxiv: arXiv 2609.31883#1D5C (statement). In XBHQRTBH62/e1, theorem 4.2

History

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

E1W7GX6Y5H E1W7GX6Y5H

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

Mentions

arxiv: arXiv math/9802134#WLG0 (definition). In 235B1J1ETB/e1, definition 4.13

History

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

E1WAVQ86D2 E1WAVQ86D2

URI	`m2://inv/E1WAVQ86D2`
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.36113#OPX7 (statement). In FSGSVD0XYH/e1, lemma 17

History

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

Disturbing potential E1WFBFCCN7

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

Mentions

wikipedia: Wikipedia Geopotential#GQOY, Disturbing potential (unknown)

History

2026-11-02: add by m2/dev

Aviezri Fraenkel E1WJV7SXM1

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#R1JZ, Aviezri Fraenkel (topic)

History

2026-11-02: add by m2/dev

Weighted sum model E1WPQW6R21

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

Mentions

wikipedia: Wikipedia Weighted sum model, Weighted sum model (definition). Also Wikidata Q7979909

History

2026-11-02: add by m2/dev

E1WQWB0MNG E1WQWB0MNG

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

Mentions

arxiv: arXiv 2609.36321#D29E (definition). In 3KTZ6Z615H/e1, definition 5.4

History

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

Applications E1X15QTP99

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

Mentions

wikipedia: Wikipedia Square pyramid#Z7XC, Applications (example)

History

2026-11-02: add by m2/dev

E1X3SEJR4Z E1X3SEJR4Z

URI	`m2://inv/E1X3SEJR4Z`
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 2306.16411#RSE5 (statement). In QQ222ZDZC0/e1, theorem 3.2

History

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

E1X4H93AAM E1X4H93AAM

URI	`m2://inv/E1X4H93AAM`
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.21501#1RUO (definition). In 1H64QT301C/e1, definition 3.5

History

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

Optimal advice partition is strongly NP-hard E1X4R6DKD6

URI	`m2://inv/E1X4R6DKD6`
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.21523#ZSYB, Optimal advice partition is strongly NP-hard (statement)

History

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

Thrasyllus of Mendes E1XBKKXWQX

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#OG53, Thrasyllus of Mendes (unknown)

History

2026-11-02: add by m2/dev

Mesoscopic CLT in the bulk E1XHKK4AK4

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

Mentions

arxiv: arXiv 2609.25301#KIHB, Mesoscopic CLT in the bulk (statement)

History

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

E1XQQQ38RC E1XQQQ38RC

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

Mentions

arxiv: arXiv 2609.30579#SJO9 (statement). In FDYZFDHZH9/e1, lemma 2.10

History

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

explicit representatives of Witt rings E1Y2F5HDXP

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

Mentions

arxiv: arXiv 2609.37931#21PJ, explicit representatives of Witt rings (example). In J8C1EXQW86/e1, example 3.6

History

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

E1Y557FVR6 E1Y557FVR6

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-15 (exercise). In Y91XFCEVHQ, exercise, section 3.2

History

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

E1Y75SCQZE E1Y75SCQZE

URI	`m2://inv/E1Y75SCQZE`
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.39103#S0AU (statement). In VGB0N93ES8/e1, theorem 4

History

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

transitive relation E1YAMNQWR2

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

Mentions

lebl_ra: lebl_ra index/11.9.4/transitive-relation, transitive relation (concept). In E59CDZA4DP, index, section 11.9.4

History

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

E1YJTS6XSA E1YJTS6XSA

URI	`m2://inv/E1YJTS6XSA`
Kind	statement
Layer	research
MSC	14-XX, 37-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.13100#0WVC (statement). In CC6S1HVK0T/e1, lemma E.3

History

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

Stratification E1YTR53YN7

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

Mentions

arxiv: arXiv 2610.20542#DHLF, Stratification (statement). In 8PZXZ8Y9FK/e1, corollary 3.7

History

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

Projective space E1Z213SXN2

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#9QHF, Projective space (definition)

History

2026-11-02: add by m2/dev

Evarist Giné E1Z8FCQX30

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

Mentions

wikipedia: Wikipedia Evarist Giné, Evarist Giné (topic). Also Wikidata Q35028571

History

2026-11-02: add by m2/dev

E1ZAV7XQJ5 E1ZAV7XQJ5

URI	`m2://inv/E1ZAV7XQJ5`
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.01753#EC4N (statement). In JY50YXMH5N/e1, lemma 4

History

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

E1ZC8QVS6N E1ZC8QVS6N

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

Mentions

active_calculus: active_calculus source/activities/act-1-1-3.xml#act-1-1-3 (exercise). In 907G4C4EJ1, activity, section 1.1.3

History

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

Gilles Lebeau E1ZCMFKNJZ

URI	`m2://inv/E1ZCMFKNJZ`
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#29KL, Gilles Lebeau (topic)

History

2026-11-02: add by m2/dev

E1ZDDY60TY E1ZDDY60TY

URI	`m2://inv/E1ZDDY60TY`
Kind	statement
Layer	research
MSC	16-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 2507.20176#BC3M (statement). In CX4WDA2KAR/e1, proposition 2.15

History

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

Special cases E1ZH11Z31C

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

Mentions

wikipedia: Wikipedia Ramsey's theorem#ATQ3, Special cases (statement)

History

2026-11-02: add by m2/dev

Brownian meander E1ZH7J5P75

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

Mentions

wikipedia: Wikipedia Brownian meander, Brownian meander (definition). Also Wikidata Q17005622

History

2026-11-02: add by m2/dev

Examples E1ZM2QXD37

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

Mentions

wikipedia: Wikipedia Symmetric derivative#T142, Examples (example)

History

2026-11-02: add by m2/dev

Risk factor E1ZQAGGVGC

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

Mentions

wikipedia: Wikipedia List of statistics articles#76HH, Risk factor (definition)

History

2026-11-02: add by m2/dev

E1ZZN6Z449 E1ZZN6Z449

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

Mentions

arxiv: arXiv 2609.21017#IIMI (statement)

History

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