Inventory rows XA

XA01RA712C XA01RA712C

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

Mentions

open_logic: open_logic content/set-theory/ordinals/iso.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 72.5

History

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

XA0232P7SA XA0232P7SA

URI	`m2://inv/XA0232P7SA`
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.07164#L1Y7 (statement). In Q1XJ5VWE1N/e1, corollary 6.4

History

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

Wirtinger derivative XA05TY8SC2

URI	`m2://inv/XA05TY8SC2`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Wirtinger derivatives WMXDVF36ZT

Mentions

wikidata: Wikidata Q8027031, Wirtinger derivative (unknown). Also MathWorld DelBarOperator
wikipedia: Wikipedia Wirtinger derivatives, Wirtinger derivatives (definition). Also Wikidata Q8027031

History

2026-10-26: add by m2/dev

Fubini theorem XA071S9JJG

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

Mentions

lebl_scv: lebl_scv index/E.1/fubini-theorem, Fubini theorem (concept). In VNMV985MXX, index, section E.1

History

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

Symmetry XA08XECMPH

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

Mentions

wikipedia: Wikipedia 257-gon#Q0TU, Symmetry (statement)

History

2026-11-02: add by m2/dev

Definition XA0C17HVQS

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

Mentions

wikipedia: Wikipedia Grigorchuk group#4WL7, Definition (definition)

History

2026-11-02: add by m2/dev

Forests XA0D36GXF6

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

Mentions

arxiv: arXiv 2609.34260#278Y, Forests (statement). In BBE69ZPVTF/e1, proposition 5.15

History

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

Ward's conjecture XA0KXTX01P

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

Mentions

wikipedia: Wikipedia Ward's conjecture, Ward's conjecture (statement). Also Wikidata Q7968912

History

2026-11-02: add by m2/dev

Maximal ergodic theorem XA0N6XY66E

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

Mentions

wikipedia: Wikipedia List of statistics articles#HJKT, Maximal ergodic theorem (statement)

History

2026-11-02: add by m2/dev

XA0NGTH7PM XA0NGTH7PM

URI	`m2://inv/XA0NGTH7PM`
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.19882#47YW (statement)

History

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

XA0NNXYV14 XA0NNXYV14

URI	`m2://inv/XA0NNXYV14`
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.11056#58UK (statement). In 1NDB3SAG7K/e1, corollary 6.1

History

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

XA0ZH79K0D XA0ZH79K0D

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

Mentions

arxiv: arXiv math/0406514#GDBL (statement). In CY1FE8W1ZW/e1, lemma 0.96

History

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

XA114PF4ND XA114PF4ND

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

Mentions

open_logic: open_logic content/model-theory/basics/isomorphism.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 46.2

History

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

XA138WYFKQ XA138WYFKQ

URI	`m2://inv/XA138WYFKQ`
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.12736#STTR (statement). In 5350Q52F6P/e1, lemma 2.13

History

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

GNU Multi-Precision Library XA15XRX6MQ

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#8NXH, GNU Multi-Precision Library (unknown)

History

2026-11-02: add by m2/dev

XA1959Y4JQ XA1959Y4JQ

URI	`m2://inv/XA1959Y4JQ`
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 2609.29537#BYRB (definition)

History

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

Joint batch DGS at every width XA1ATFEKA8

URI	`m2://inv/XA1ATFEKA8`
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 2609.37482#KPCM, Joint batch DGS at every width (statement). In 9QDRMZX8EY/e1, theorem 0.2

History

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

Atiyah-Singer-Dirac operator XA1E7CA687

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

Mentions

wikipedia: Wikipedia Clifford analysis#QKT5, Atiyah-Singer-Dirac operator (unknown)

History

2026-11-02: add by m2/dev

A. Jones XA1M7ZX3GS

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

Mentions

arxiv: arXiv 0910.5574#XKLQ, A. Jones (statement). In 2TJRBRKYAY/e1, theorem 12.1

History

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

XA1PNA92B4 XA1PNA92B4

URI	`m2://inv/XA1PNA92B4`
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#Y8PH (definition). In J7ZX3WWRQP/e1, definition 3.4

History

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

Petrus Bertius XA1XXV9J8J

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

Mentions

wikipedia: Wikipedia Petrus Bertius, Petrus Bertius (topic). Also Wikidata Q2712134

History

2026-11-02: add by m2/dev

Applications XA23EJ0K91

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

Mentions

wikipedia: Wikipedia Latin rectangle#1XCC, Applications (example)

History

2026-11-02: add by m2/dev

XA23KCMR8G XA23KCMR8G

URI	`m2://inv/XA23KCMR8G`
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.27911#WAC2 (statement)

History

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

XA24SVQ4DR XA24SVQ4DR

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

History

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

6op EFT over addition in Dekker's system XA28GS6AX4

URI	`m2://inv/XA28GS6AX4`
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 2602.19452#W8MJ, 6op EFT over addition in Dekker's system (statement). In 3GF75S0XJ0/e1, theorem 3.2

History

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

XA2HV1TJDD XA2HV1TJDD

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

Mentions

arxiv: arXiv 2609.35858#OGX1 (statement). In R2K4HZN8RW/e1, proposition 6.1

History

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

Dynkin XA2YDGG5XE

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

Mentions

wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#KJWP, Dynkin (definition)

History

2026-11-02: add by m2/dev

Definition XA39Z6YTK9

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

Mentions

wikipedia: Wikipedia Shapley value#EYKX, Definition (definition)

History

2026-11-02: add by m2/dev

Statistical hypothesis testing XA3E95BQVC

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

Mentions

wikipedia: Wikipedia List of statistics articles#IZPS, Statistical hypothesis testing (statement)

History

2026-11-02: add by m2/dev

Examples XA3HE6BAHZ

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

Mentions

wikipedia: Wikipedia Rare disease assumption#DY1G, Examples (example)

History

2026-11-02: add by m2/dev

Minima of 4d Epstein zeta function XA3MEMRVY8

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

Mentions

arxiv: arXiv 2609.37615#SZ8D, Minima of 4d Epstein zeta function (statement). In T2B54J7121/e1, theorem 1.2

History

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

XA3MJCERGV XA3MJCERGV

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

Mentions

arxiv: arXiv 2610.17720#B5BE (statement). In QPM0GQYNZ9/e1, lemma 7.2

History

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

Runge–Kutta method XA3PYPS766

URI	`m2://inv/XA3PYPS766`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Runge–Kutta methods 7DBPJKYC6C

Mentions

wikidata: Wikidata Q725944, Runge–Kutta method (statement). Also EoM Runge-Kutta_method, MathWorld Runge-KuttaMethod
wikipedia: Wikipedia Runge–Kutta methods, Runge–Kutta methods (definition). Also Wikidata Q725944

History

2026-10-26: add by m2/dev

XA3VVQB9ST XA3VVQB9ST

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

Mentions

arxiv: arXiv 2609.26496#N95W (statement)

History

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

integer XA48MVJZ8K

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

Mentions

mathlib_overview: mathlib_overview General algebra > Numbers > integer, integer (unknown). Also Mathlib Int

History

2026-10-26: add by m2/dev

NLab XA4ACK6DNT

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

Mentions

wikipedia: Wikipedia NLab, NLab (definition). Also Wikidata Q6954693

History

2026-11-02: add by m2/dev

genus-three surface XA4PC7WDYV

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

Mentions

wikidata: Wikidata Q7843541, genus-three surface (unknown). Also MathWorld TripleTorus

History

2026-10-26: add by m2/dev

Erdős number XA4QMGXTDM

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

Mentions

wikidata: Wikidata Q243972, Erdős number (definition). Also MathWorld ErdosNumber, ProofWiki Definition:Erdős_Number
wikipedia: Wikipedia Erdős number, Erdős number (definition). Also Wikidata Q243972

History

2026-10-26: add by m2/dev

Special cases XA4TS7CSVQ

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

Mentions

wikipedia: Wikipedia Preadditive category#4LA7, Special cases (statement)

History

2026-11-02: add by m2/dev

XA4VQ2684B XA4VQ2684B

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-41 (exercise). In E59CDZA4DP, exercise, section 9.3.4

History

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

Definition XA4VS3SVGK

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

Mentions

wikipedia: Wikipedia P-basis#E731, Definition (definition)

History

2026-11-02: add by m2/dev

Definition XA4WP9R1EK

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

Mentions

wikipedia: Wikipedia Hartley transform#SLGU, Definition (definition)

History

2026-11-02: add by m2/dev

Limit space XA4WPG63FD

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

Mentions

wikipedia: Wikipedia Glossary of general topology#ET2Y, Limit space (definition)

History

2026-11-02: add by m2/dev

Geophysical fluid dynamics XA4XVXPT0V

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

Mentions

wikipedia: Wikipedia Geophysical fluid dynamics, Geophysical fluid dynamics (definition). Also Wikidata Q3041995

History

2026-11-02: add by m2/dev

Flat Unitary XA51KRKGZV

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

Mentions

arxiv: arXiv 2609.38206#SWQ1, Flat Unitary (definition). In F71MS1F637/e1, definition 5.23

History

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

XA53YZ8CXV XA53YZ8CXV

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

Mentions

arxiv: arXiv 2609.22924#L0DN (example)

History

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

eigenvector XA54MRXC6S

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

Mentions

wikidata: Wikidata Q3555174, eigenvector (unknown). Also MathWorld Eigenvector

History

2026-10-26: add by m2/dev

groupoid, higher XA55B6WME7

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

Mentions

hott_book: hott_book index/1.1/groupoid-higher, groupoid, higher (concept). In N54F33XE07, index, section 1.1

History

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

XA56NEQMM6 XA56NEQMM6

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-26 (exercise). In E9HS8K3A52, exercise, section 6.9.1

History

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

A-1 XA5C0440R8

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

Mentions

wikipedia: Wikipedia A-1 (code), A-1 (definition). Also Wikidata Q4646852

History

2026-11-02: add by m2/dev

Robin Sibson XA5CNTJ7HH

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

Mentions

wikipedia: Wikipedia Robin Sibson, Robin Sibson (topic). Also Wikidata Q7352782

History

2026-11-02: add by m2/dev

skyrmion XA5GRF3T6N

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

Mentions

wikidata: Wikidata Q1041630, skyrmion (unknown). Also nLab skyrmion

History

2026-10-26: add by m2/dev

XA5MQK6GMP XA5MQK6GMP

URI	`m2://inv/XA5MQK6GMP`
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.13580#GIXD (statement). In KEQ57N9N7Z/e1, lemma 4.5

History

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

XA5TRV5PGA XA5TRV5PGA

URI	`m2://inv/XA5TRV5PGA`
Kind	statement
Layer	research
MSC	46-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 2609.37271#VX1B (statement). In 9WP2QGKMG8/e1, corollary 2.10

History

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

XA5ZFMKF8T XA5ZFMKF8T

URI	`m2://inv/XA5ZFMKF8T`
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 2103.12669#B1QJ (statement). In ZA6XNBA90V/e1, theorem 0.7

History

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

Conditioned Kinser representation of the defect gaps XA62E79FG8

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

Mentions

arxiv: arXiv 2610.06739#KTYV, Conditioned Kinser representation of the defect gaps (statement). In HA9B7PD0YV/e1, theorem 42

History

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

Anderson–Kadec theorem XA6C5QKYD3

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

Mentions

wikipedia: Wikipedia Fréchet space#B3FI, Anderson–Kadec theorem (statement)

History

2026-11-02: add by m2/dev

Monotone dualization XA6CXCCHAZ

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

Mentions

wikipedia: Wikipedia Monotone dualization, Monotone dualization (definition). Also Wikidata Q123347707

History

2026-11-02: add by m2/dev

Hyperspecial subgroup XA6MC0TKW2

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

Mentions

wikipedia: Wikipedia Hyperspecial subgroup, Hyperspecial subgroup (definition). Also Wikidata Q17028435

History

2026-11-02: add by m2/dev

Turing tarpit XA71TSVEZT

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

Mentions

wikipedia: Wikipedia Turing tarpit, Turing tarpit (definition). Also Wikidata Q4467269

History

2026-11-02: add by m2/dev

Journal of Applied Econometrics XA733V61MK

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

Mentions

wikipedia: Wikipedia List of statistics journals#E9J9, Journal of Applied Econometrics (topic)

History

2026-11-02: add by m2/dev

Theorem XA73V13440

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

Mentions

wikipedia: Wikipedia Characteristic samples#ENLD, Theorem (statement)

History

2026-11-02: add by m2/dev

Infinity and the Mind XA75FWT30P

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

Mentions

wikidata: Wikidata Q2716008, Infinity and the Mind (unknown). Also ProofWiki Book:Rudy_Rucker/Infinity_and_the_Mind
wikipedia: Wikipedia Infinity and the Mind, Infinity and the Mind (definition). Also Wikidata Q2716008

History

2026-10-26: add by m2/dev

Shaded incidence triple XA77GW9TC5

URI	`m2://inv/XA77GW9TC5`
Kind	definition
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.34675#BGCA, Shaded incidence triple (definition). In C93BAXKJVD/e1, definition 3.1

History

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

completion XA7DY5NST5

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

Mentions

mathlib_overview: mathlib_overview Topology > Uniform notions > completion, completion (unknown). Also Mathlib UniformSpace.Completion

History

2026-10-26: add by m2/dev

B-coloring XA7HD3K9VR

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

Mentions

wikipedia: Wikipedia B-coloring, B-coloring (definition). Also Wikidata Q23540986

History

2026-11-02: add by m2/dev

Modern elementary mathematics XA7M2T7ZDM

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

Mentions

wikipedia: Wikipedia Modern elementary mathematics, Modern elementary mathematics (definition). Also Wikidata Q6888972

History

2026-11-02: add by m2/dev

XA7MTQHWTS XA7MTQHWTS

URI	`m2://inv/XA7MTQHWTS`
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.20801#INTJ (statement). In A1GWWGRXPA/e1, lemma 4.4

History

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

Definition XA7N0Q1WX8

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

Mentions

wikipedia: Wikipedia Discrete-stable distribution#J3W7, Definition (definition)

History

2026-11-02: add by m2/dev

XA7QR8HQG2 XA7QR8HQG2

URI	`m2://inv/XA7QR8HQG2`
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 2204.01073#2WBL (definition). In W4TYN4PGE8/e1, definition 3.2

History

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

resummation of the directional forms XA7VMCY48C

URI	`m2://inv/XA7VMCY48C`
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.39511#ES9V, resummation of the directional forms (statement). In 6W9H24A378/e1, lemma 2

History

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

$V_\alpha$ for $\alpha \le 3$ XA82D1GAMT

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

Mentions

napkin: napkin tex/set-theory/ordinal.tex#example-8, $V_\alpha$ for $\alpha \le 3$ (example). In RZP28ERRZV, example, section 92.7

History

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

SOBER-128 XA86X2NV02

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

Mentions

wikipedia: Wikipedia SOBER-128, SOBER-128 (definition). Also Wikidata Q7391997

History

2026-11-02: add by m2/dev

conformally flat manifold XA8S1FNYFT

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

Mentions

wikidata: Wikidata Q5160259, conformally flat manifold (unknown). Also nLab conformally flat manifold
wikipedia: Wikipedia Conformally flat manifold, Conformally flat manifold (definition). Also Wikidata Q5160259

History

2026-10-26: add by m2/dev

XA8SDANC95 XA8SDANC95

URI	`m2://inv/XA8SDANC95`
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 2310.10361#7D9H (statement). In 65ED1ZXG98/e1, proposition 3.1

History

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

Group of GF(2)-type XA8SVT3P8N

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

Mentions

wikipedia: Wikipedia Group of GF(2)-type, Group of GF(2)-type (definition). Also Wikidata Q5611252

History

2026-11-02: add by m2/dev

XA8YGW10CP XA8YGW10CP

URI	`m2://inv/XA8YGW10CP`
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 2510.02019#TLHW (statement). In PD607VXPY3/e1, proposition 16

History

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

Louis Chen Hsiao Yun XA8ZF3AW6F

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

Mentions

wikipedia: Wikipedia Louis Chen Hsiao Yun, Louis Chen Hsiao Yun (topic). Also Wikidata Q6686898

History

2026-11-02: add by m2/dev

XA90KRK14T XA90KRK14T

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

Mentions

arxiv: arXiv 2609.37815#ZPSD (statement). In SVJYA0171G/e1, theorem 1.3

History

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

Nucleolus XA9A68WXBZ

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

Mentions

wikipedia: Wikipedia Nucleolus (game theory), Nucleolus (definition). Also Wikidata Q19612787

History

2026-11-02: add by m2/dev

XA9AG9WJPX XA9AG9WJPX

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

Mentions

arxiv: arXiv 2603.07541#4WJN (statement). In X3RFXWN6FW/e1, proposition 2.7

History

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

Labeled means and covariance XA9D37MF95

URI	`m2://inv/XA9D37MF95`
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.05388#VJCY, Labeled means and covariance (statement). In 4HJK1986EJ/e1, lemma C.14

History

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

Intrinsic relative-entropy cutoff XA9PNN6HT1

URI	`m2://inv/XA9PNN6HT1`
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.00137#3WKP, Intrinsic relative-entropy cutoff (statement). In NKW6YQ04QW/e1, theorem 1.3

History

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

Agreement with the auxiliary cyclic matrix XA9W4VSSD4

URI	`m2://inv/XA9W4VSSD4`
Kind	statement
Layer	research
MSC	05-XX, 26-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 2609.26066#L12O, Agreement with the auxiliary cyclic matrix (statement)

History

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

Yuval Peres XA9YS1MS2H

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#P0TB, Yuval Peres (topic)

History

2026-11-02: add by m2/dev

XA9YW3BDWK XA9YW3BDWK

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

Mentions

open_logic: open_logic content/set-theory/replacement/finiteaxiomatizability.tex#zfnotfinitely (statement). In PKGMM3P5QY, thm, section 73.7

History

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

Construction XA9Z71FC65

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

Mentions

wikipedia: Wikipedia Free group#QVFJ, Construction (definition)

History

2026-11-02: add by m2/dev

The stretch factor at the positive vacuum XAA2Z2GKEM

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

Mentions

arxiv: arXiv 2610.18512#GI1J, The stretch factor at the positive vacuum (statement). In 11JNM66Z09/e1, proposition 6.5

History

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

Karl Longin Zeller XAAAYMH7W9

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#027E, Karl Longin Zeller (unknown)
wikipedia: Wikipedia List of German mathematicians#VYS9, Karl Longin Zeller (unknown)

History

2026-11-02: add by m2/dev

XAAC3JT6YB XAAC3JT6YB

URI	`m2://inv/XAAC3JT6YB`
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.17875#D1OD (statement). In AQX7DGD360/e1, theorem 1.2

History

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

Omnitruncated 5-simplex honeycomb XAAFVBG01K

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

Mentions

wikipedia: Wikipedia Omnitruncated 5-simplex honeycomb, Omnitruncated 5-simplex honeycomb (object). Also Wikidata Q7090406

History

2026-11-02: add by m2/dev

Non-well-founded set theory XAAK1DN1R8

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

Mentions

wikipedia: Wikipedia Non-well-founded set theory, Non-well-founded set theory (topic). Also Wikidata Q7049089

History

2026-11-02: add by m2/dev

The mediation formula XAAMB0GTG1

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

Mentions

wikipedia: Wikipedia Mediation (statistics)#H8P7, The mediation formula (statement)

History

2026-11-02: add by m2/dev

XAASF05GGN XAASF05GGN

URI	`m2://inv/XAASF05GGN`
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 2610.15378#SJDS (statement). In W4J7ZF6EDN/e1, theorem 1

History

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

small snub icosicosidodecahedron XAB28MX9FX

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

Mentions

wikidata: Wikidata Q69362, small snub icosicosidodecahedron (unknown). Also MathWorld SmallSnubIcosicosidodecahedron
wikipedia: Wikipedia Small snub icosicosidodecahedron, Small snub icosicosidodecahedron (definition). Also Wikidata Q69362

History

2026-10-26: add by m2/dev

XAB3D85GZ7 XAB3D85GZ7

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

Mentions

arxiv: arXiv 2609.36377#7H15 (definition). In M98F6VRPZ2/e1, definition 1.4

History

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

XAB41BJMEZ XAB41BJMEZ

URI	`m2://inv/XAB41BJMEZ`
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#3NBR (statement). In KE8B8KMDJJ/e1, lemma 2

History

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

Example XAB7RK6KX0

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

Mentions

wikipedia: Wikipedia Cosmic censorship hypothesis#UTAU, Example (example)

History

2026-11-02: add by m2/dev

XABCYZGTVB XABCYZGTVB

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

Mentions

arxiv: arXiv 2603.07541#STDX (statement). In X3RFXWN6FW/e1, theorem 3.1

History

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

XABFVZ8NMJ XABFVZ8NMJ

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/UncountableSets.tex#corollary-1 (statement). In P1C114YBXG, corollary, section K

History

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

Albert Wilansky XAC0YZVZ73

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

Mentions

wikipedia: Wikipedia Albert Wilansky, Albert Wilansky (topic). Also Wikidata Q95240727

History

2026-11-02: add by m2/dev

XACDZ2HVPA XACDZ2HVPA

URI	`m2://inv/XACDZ2HVPA`
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.38548#1WP8 (statement). In Z7ZFV3HM1S/e1, lemma 6.5

History

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

Radial form XACFMXRX3T

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

Mentions

arxiv: arXiv 2609.25120#MOII, Radial form (statement)

History

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

XACFNM22K8 XACFNM22K8

URI	`m2://inv/XACFNM22K8`
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 2506.16491#J06E (statement). In P9J6P06Y40/e1, lemma 4.21

History

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

Applications XACVJRR5S2

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

Mentions

wikipedia: Wikipedia Enthalpy#GC2W, Applications (example)

History

2026-11-02: add by m2/dev

Labour Force Survey XACWT8YE3S

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

Mentions

wikipedia: Wikipedia Labour Force Survey, Labour Force Survey (definition). Also Wikidata Q6467417

History

2026-11-02: add by m2/dev

XAE4ZG9K4Z XAE4ZG9K4Z

URI	`m2://inv/XAE4ZG9K4Z`
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.18016#1MF2 (statement). In V5PVKDKGGG/e1, proposition 6.2

History

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

XAEGGZ5QAT XAEGGZ5QAT

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

Mentions

arxiv: arXiv 2610.10937#TZ2O (definition). In 6VVK3YTABP/e1, definition 2.1

History

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

symbolic XAEKRF6RQS

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#CGVE, symbolic (definition)

History

2026-11-02: add by m2/dev

Weak solution XAEP4R6H7Y

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

Mentions

wikipedia: Wikipedia List of partial differential equation topics#IWA1, Weak solution (definition)

History

2026-11-02: add by m2/dev

Bias and mean-square error XAEYN39Y8K

URI	`m2://inv/XAEYN39Y8K`
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.11619#UAPK, Bias and mean-square error (statement). In HT2K76Y9WS/e1, theorem 3.5

History

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

Demographics of the Republic of Artsakh XAF365XRVZ

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

Mentions

wikipedia: Wikipedia Demographics of the Republic of Artsakh, Demographics of the Republic of Artsakh (definition). Also Wikidata Q3012323

History

2026-11-02: add by m2/dev

William Duke XAF3C0DRZH

URI	`m2://inv/XAF3C0DRZH`
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#VMF3, William Duke (topic)

History

2026-11-02: add by m2/dev

Euler Lecture XAF3WXQ81B

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

Mentions

wikipedia: Wikipedia Euler Lecture, Euler Lecture (definition). Also Wikidata Q124353117

History

2026-11-02: add by m2/dev

Ernesto Padova XAF64MRMET

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

Mentions

wikipedia: Wikipedia Ernesto Padova, Ernesto Padova (topic). Also Wikidata Q3732299

History

2026-11-02: add by m2/dev

Annales de l'Institut Fourier XAF8Q0XKKH

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

Mentions

wikipedia: Wikipedia Annales de l'Institut Fourier, Annales de l'Institut Fourier (definition). Also Wikidata Q2850679

History

2026-11-02: add by m2/dev

XAFACBJ63Z XAFACBJ63Z

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

Mentions

arxiv: arXiv 2111.09700#5DO1 (statement). In XCSQ27P0XW/e1, proposition 7.7

History

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

GCH XAFK6TB7F9

URI	`m2://inv/XAFK6TB7F9`
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 2609.31243#71Q7, GCH (statement). In E8FP48FJMZ/e1, corollary 3.2

History

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

McCullagh, Peter XAFKXWX14F

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

Mentions

wikipedia: Wikipedia List of statisticians#O8J1, McCullagh, Peter (topic)

History

2026-11-02: add by m2/dev

XAFTKXN4K9 XAFTKXN4K9

URI	`m2://inv/XAFTKXN4K9`
Kind	statement
Layer	research
MSC	13-XX, 16-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.14060#2HK5 (statement). In X47RYAZF8P/e1, corollary 10.11

History

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

XAG219CEBH XAG219CEBH

URI	`m2://inv/XAG219CEBH`
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.14555#OSJL (statement). In NHW0VEJ09F/e1, lemma A.2

History

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

Kleene–Post theorem XAG5660GQ4

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

Mentions

wikipedia: Wikipedia Friedberg–Muchnik theorem#ZMGD, Kleene–Post theorem (statement)

History

2026-11-02: add by m2/dev

XAGP2Z1J45 XAGP2Z1J45

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

Mentions

arxiv: arXiv math/0406514#4QDL (statement). In CY1FE8W1ZW/e1, corollary 0.124

History

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

Uri Zwick XAH2G3MZBM

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#FKTV, Uri Zwick (unknown)

History

2026-11-02: add by m2/dev

XAH5BHDZN8 XAH5BHDZN8

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

Mentions

arxiv: arXiv 2610.13680#HP06 (unknown). In QNBFHFZ3H0/e1, unknown 13

History

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

XAH5EM0H82 XAH5EM0H82

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-65 (exercise). In E59CDZA4DP, exercise, section 1.7.3

History

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

Morse theory XAH89DKQWT

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

Mentions

wikidata: Wikidata Q2296951, Morse theory (topic). Also MathWorld MorseTheory, nLab Morse theory
wikipedia: Wikipedia Morse theory, Morse theory (definition). Also Wikidata Q2296951

History

2026-10-26: add by m2/dev

Richard Brauer XAHAW27JBX

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#S0C7, Richard Brauer (topic)

History

2026-11-02: add by m2/dev

XAHRQYKT66 XAHRQYKT66

URI	`m2://inv/XAHRQYKT66`
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.29478#G8U5 (statement). In XAFYHH8G7X/e1, theorem 4

History

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

Exploit Prediction Scoring System XAHVXV6R3X

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

Mentions

wikipedia: Wikipedia Exploit Prediction Scoring System, Exploit Prediction Scoring System (definition). Also Wikidata Q139961146

History

2026-11-02: add by m2/dev

Poncelet–Steiner theorem XAJ47YK10Y

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

Mentions

wikipedia: Wikipedia Straightedge-only construction#Q6XT, Poncelet–Steiner theorem (statement)

History

2026-11-02: add by m2/dev

Ashley-Cooper, Anthony XAJAK05VV9

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

Mentions

wikipedia: Wikipedia List of statisticians#IQ00, Ashley-Cooper, Anthony (unknown)

History

2026-11-02: add by m2/dev

deduction theorem XAJAK7NKPK

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

Mentions

wikipedia: Wikipedia Glossary of logic#3V42, deduction theorem (definition)

History

2026-11-02: add by m2/dev

XAJEKTF4XA XAJEKTF4XA

URI	`m2://inv/XAJEKTF4XA`
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#46W8 (statement). In 7QGPEBC70Y/e1, lemma 10

History

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

Basis XAJW0TCB5K

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

Mentions

wikipedia: Wikipedia Glossary of general topology#MQ7I, Basis (definition)

History

2026-11-02: add by m2/dev

Jean-Louis Colliot-Thelene XAJZJR1HSM

URI	`m2://inv/XAJZJR1HSM`
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#9QMI, Jean-Louis Colliot-Thelene (topic)

History

2026-11-02: add by m2/dev

XAK6S661NX XAK6S661NX

URI	`m2://inv/XAK6S661NX`
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#5HZ3 (statement). In T3BY4TXYT4/e1, proposition 3.7

History

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

Countably infinite XAKAZ6VB2Z

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

Mentions

wikipedia: Wikipedia List of paradoxes#0YN7, Countably infinite (definition)

History

2026-11-02: add by m2/dev

Compatibility of relation XAKB3GFQZZ

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#defn-2, Compatibility of relation (definition). In PKGMM3P5QY, defn, section 38.9

History

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

Two-boundary segment XAKBBA2ZPS

URI	`m2://inv/XAKBBA2ZPS`
Kind	statement
Layer	research
MSC	05-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.31535#1AF0, Two-boundary segment (statement). In BAWCMJQGVA/e1, lemma 5.3

History

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

Omen XAKHAEMPY5

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

Mentions

wikipedia: Wikipedia Omen, Omen (definition). Also Wikidata Q1120735

History

2026-11-02: add by m2/dev

XAKMZHN0VE XAKMZHN0VE

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

Mentions

arxiv: arXiv 2609.20513#N5GU (statement)

History

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

XAKNBD7QPA XAKNBD7QPA

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

Mentions

arxiv: arXiv 2603.29838#P5GV (statement). In KP0X1RKKKB/e1, theorem 3.1

History

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

XAKSCV9MHZ XAKSCV9MHZ

URI	`m2://inv/XAKSCV9MHZ`
Kind	conjecture
Layer	research
MSC	14-XX, 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.38013#6D05 (conjecture). In DQ6P0P6N78/e1, conjecture 6.1

History

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

XAM1KTANJ2 XAM1KTANJ2

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

Mentions

arxiv: arXiv 2609.24675#XHWE (statement)

History

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

XAM6VTBXWF XAM6VTBXWF

URI	`m2://inv/XAM6VTBXWF`
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 2211.10816#LOPJ (statement). In 8VNN8PX49Y/e1, theorem 7

History

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

XAM86JKT51 XAM86JKT51

URI	`m2://inv/XAM86JKT51`
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 2609.39517#0535 (statement). In TWP8T68ABF/e1, theorem 0.1.1

History

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

Mean value theorem XAMK3YH848

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

Mentions

wikipedia: Wikipedia Mean value theorem (divided differences), Mean value theorem (statement). Also Wikidata Q17098096

History

2026-11-02: add by m2/dev

unique factorization domain XAMX9JNA4M

URI	`m2://inv/XAMX9JNA4M`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	7
Outcome	node (a node has the same Wikidata item as the row)
Node	Fundamental theorem of arithmetic 084HH1NDCB

Mentions

mathlib_100: mathlib_100 80, The Fundamental Theorem of Arithmetic (statement). Also Mathlib Nat.primeFactorsList_unique, Mathlib Int.euclideanDomain, Mathlib EuclideanDomain.instIsPrincipalIdealRing, Mathlib UniqueFactorizationMonoid, Mathlib UniqueFactorizationMonoid.factors_unique
mathlib_1000: mathlib_1000 Q670235, Fundamental theorem of arithmetic (statement). Also Mathlib Nat.primeFactorsList_unique, Mathlib Int.euclideanDomain, Mathlib EuclideanDomain.instIsPrincipalIdealRing, Mathlib UniqueFactorizationMonoid, Mathlib UniqueFactorizationMonoid.factors_unique, Wikidata Q670235
mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > unique factorisation domain, unique factorisation domain (unknown). Also Mathlib UniqueFactorizationMonoid
mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > $\Z$ is a Euclidean ring, $\Z$ is a Euclidean ring (unknown). Also Mathlib Int.euclideanDomain
mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > unique factorisation domain (UFD), unique factorisation domain (UFD) (unknown). Also Mathlib UniqueFactorizationMonoid
thousand_plus: thousand_plus Q670235, Fundamental theorem of arithmetic (statement). Also Mathlib Nat.primeFactorsList_unique, Mathlib Int.euclideanDomain, Mathlib EuclideanDomain.to_principal_ideal_domain, Mathlib UniqueFactorizationMonoid, Mathlib UniqueFactorizationMonoid.factors_unique, Wikidata Q670235, Wikipedia Fundamental theorem of arithmetic
wikidata: Wikidata Q1052579, unique factorization domain (definition). Also LMFDB knowl ring.unique_factorization_domain, Mathlib UniqueFactorizationMonoid, MathWorld UniqueFactorizationDomain, ProofWiki Definition:Unique_Factorization_Domain
wikidata: Wikidata Q670235, fundamental theorem of arithmetic (statement). Also MathWorld FundamentalTheoremofArithmetic, nLab fundamental theorem of arithmetic
wikipedia: Wikipedia Fundamental theorem of arithmetic, Fundamental theorem of arithmetic (statement). Also Wikidata Q670235
wikipedia: Wikipedia Unique factorization domain, Unique factorization domain (definition). Also Wikidata Q1052579

History

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

Llantrisant XAMY0BAABN

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

Mentions

wikipedia: Wikipedia List of places with numeric names#KM3Q, Llantrisant (unknown)

History

2026-11-02: add by m2/dev

Stephens' constant XAN6AYH374

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

Mentions

wikidata: Wikidata Q55731272, Stephens' constant (object). Also MathWorld StephensConstant, OEIS A065478

History

2026-10-26: add by m2/dev

XAN7HAPX4A XAN7HAPX4A

URI	`m2://inv/XAN7HAPX4A`
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.22381#CX6D (statement)

History

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

Ville's inequality XANFXE47QT

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

Mentions

arxiv: arXiv 2609.27766#CTA6, Ville's inequality (statement)

History

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

Example XANG72NDT3

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

Mentions

wikipedia: Wikipedia Pre- and post-test probability#4KXQ, Example (example)

History

2026-11-02: add by m2/dev

XANSJXEFAP XANSJXEFAP

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#example:nlin-1b-examplelin (example). In E9HS8K3A52, example, section 8.1.2

History

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

Tidal current XANY0T099X

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

Mentions

wikipedia: Wikipedia Tide#FTL7, Tidal current (unknown)

History

2026-11-02: add by m2/dev

Exponential field XAP22Z1DHQ

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#FVE3, Exponential field (definition)
wikipedia: Wikipedia List of exponential topics#O3NP, Exponential field (definition)

History

2026-11-02: add by m2/dev

Extension of a contraction morphism XAP76T3E7Z

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

Mentions

arxiv: arXiv 2610.17817#U7NA, Extension of a contraction morphism (statement). In M8TSJ24RC2/e1, theorem 2.26

History

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

Nilsemigroup XAPC0K2BBA

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

Mentions

wikipedia: Wikipedia Nilsemigroup, Nilsemigroup (definition). Also Wikidata Q55648448

History

2026-11-02: add by m2/dev

XAPGV89K7C XAPGV89K7C

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

Mentions

arxiv: arXiv 2609.36423#RLBJ (example). In Q5Z178SAHP/e1, example 5.10

History

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

Cryptolog XAPH8C5AQY

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

Mentions

wikipedia: Wikipedia National Security Agency#GATI, Cryptolog (unknown)

History

2026-11-02: add by m2/dev

Linda Gojak XAPJQXC1A3

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

Mentions

wikipedia: Wikipedia Linda Gojak, Linda Gojak (topic). Also Wikidata Q104625142

History

2026-11-02: add by m2/dev

Von Dyck group XAPK9AMN8H

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

Mentions

wikipedia: Wikipedia Triangle group#40DU, Von Dyck group (unknown)

History

2026-11-02: add by m2/dev

row-space criterion XAPTJVCMH5

URI	`m2://inv/XAPTJVCMH5`
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.22355#SWKS, row-space criterion (statement)

History

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

solution XAQ39HQ8BS

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

Mentions

austin_ula: austin_ula index/1.1.2/solution, solution (concept). In 649HGZKE96, index, section 1.1.2

History

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

lower bound XAQ5N9GVJJ

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

Mentions

wikipedia: Wikipedia Glossary of set theory#B7C1, lower bound (definition)

History

2026-11-02: add by m2/dev

XAQ61FHPFY XAQ61FHPFY

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

Mentions

arxiv: arXiv 2610.09672#O16X (statement). In TXBXCPP0QH/e1, lemma 29

History

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

XAQJGXDNRW XAQJGXDNRW

URI	`m2://inv/XAQJGXDNRW`
Kind	definition
Layer	research
MSC	05-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.40200#B163 (definition). In VWNB6QJWFN/e1, definition 2.7

History

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

Riemann surface XAQRGVAGKD

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

Mentions

napkin: napkin tex/riemann-surface/complex-structure.tex#definition-1, Riemann surface (definition). In RZP28ERRZV, definition, section 83.2

History

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

Rosser's theorem XAQSYS6Y2F

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

Mentions

wikipedia: Wikipedia List of theorems#6B6W, Rosser's theorem (statement)

History

2026-11-02: add by m2/dev

XAQTC3V0TB XAQTC3V0TB

URI	`m2://inv/XAQTC3V0TB`
Kind	definition
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#X5V1 (definition). In XBHQRTBH62/e1, definition 2.9

History

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

XAQVKXAC61 XAQVKXAC61

URI	`m2://inv/XAQVKXAC61`
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.10525#QNPN (statement). In N3K26VPX0R/e1, lemma 4.3

History

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

XAQY4BQ7CD XAQY4BQ7CD

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

Mentions

arxiv: arXiv 2609.21892#8B6G (definition)

History

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

XAR2B8916B XAR2B8916B

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

Mentions

arxiv: arXiv 2610.20131#26RU (definition). In 29D4TTE3J2/e1, definition 2.5

History

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

XAR3J1V8G1 XAR3J1V8G1

URI	`m2://inv/XAR3J1V8G1`
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#CN2F (definition). In ZPT9XCCAPQ/e1, definition 1.4.6

History

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

Term retraction XAR6YXJBNF

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

Mentions

arxiv: arXiv 2609.39700#AVRL, Term retraction (statement). In E7W2HDNEKJ/e1, theorem 2.4

History

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

XAR6ZFMCC9 XAR6ZFMCC9

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

Mentions

arxiv: arXiv 2609.26813#8CZ4 (example)

History

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

XAR93XY3Y1 XAR93XY3Y1

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

Mentions

arxiv: arXiv 2205.15365#R5BD (unknown). In R2XC1SC9NZ/e1, unknown 24

History

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

multiplicative group of integers modulo n XARBFHXVV3

URI	`m2://inv/XARBFHXVV3`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Group of units of Z/nZ 0F8X8ZRQ53

Mentions

wikidata: Wikidata Q1169249, multiplicative group of integers modulo n (unknown). Also MathWorld ModuloMultiplicationGroup, nLab multiplicative group of integers modulo n
wikipedia: Wikipedia Multiplicative group of integers modulo n, Multiplicative group of integers modulo n (definition). Also Wikidata Q1169249

History

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

XARCJYKKVA XARCJYKKVA

URI	`m2://inv/XARCJYKKVA`
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 2110.08714#135W (definition). In A3RAXBSWA5/e1, definition 3.5

History

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

XAREFQDY39 XAREFQDY39

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

Mentions

arxiv: arXiv 2609.37520#KOCQ (statement). In BDN507RN7J/e1, proposition 4.6.9

History

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

Focused information criterion XARQK94B9Y

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

Mentions

wikipedia: Wikipedia List of statistics articles#PTUB, Focused information criterion (statement)

History

2026-11-02: add by m2/dev

XARWH34G2C XARWH34G2C

URI	`m2://inv/XARWH34G2C`
Kind	example
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.10745#PONH (example). In 5MJ4NJ5ZCV/e1, example 2.4

History

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

XAS5V7FVAR XAS5V7FVAR

URI	`m2://inv/XAS5V7FVAR`
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#FPEM (definition). In 5CZ2BNV4MT/e1, definition 4.1

History

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

Context-free grammar XAS6Q75Q8V

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

Mentions

wikipedia: Wikipedia List of undecidable problems#2WO7, Context-free grammar (definition)

History

2026-11-02: add by m2/dev

XASEYSDT2C XASEYSDT2C

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

Mentions

arxiv: arXiv 2610.03688#3D6U (statement). In HMWJQY9NAP/e1, proposition 3.3

History

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

Definition XASMPFNGQE

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

Mentions

wikipedia: Wikipedia Multilinear polynomial#OB3T, Definition (definition)

History

2026-11-02: add by m2/dev

Iwahori–Hecke algebra XASQ2DHZHV

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

Mentions

wikidata: Wikidata Q1012612, Iwahori–Hecke algebra (concept). Also nLab Iwahori–Hecke algebra
wikipedia: Wikipedia Iwahori–Hecke algebra, Iwahori–Hecke algebra (definition). Also Wikidata Q1012612

History

2026-10-26: add by m2/dev

Portfolio analytics XAT74BNKXK

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

Mentions

wikipedia: Wikipedia Analytics#466C, Portfolio analytics (unknown)

History

2026-11-02: add by m2/dev

Ingroup bias XATAHAEDVF

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

Mentions

wikipedia: Wikipedia List of cognitive biases#26SQ, Ingroup bias (unknown)

History

2026-11-02: add by m2/dev

Rank 3 permutation group XATCJA8HNZ

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

Mentions

wikipedia: Wikipedia List of permutation topics#8I59, Rank 3 permutation group (definition)

History

2026-11-02: add by m2/dev

XATCTS9YHS XATCTS9YHS

URI	`m2://inv/XATCTS9YHS`
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.33406#GO30 (statement). In B23TX8G4E4/e1, lemma 4.8

History

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

XATGGK3D63 XATGGK3D63

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

Mentions

arxiv: arXiv 2609.29683#H2BJ (statement)

History

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

XAV8WC19FE XAV8WC19FE

URI	`m2://inv/XAV8WC19FE`
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.11043#C3Q4 (statement). In R3NJYPZH52/e1, proposition 4.4

History

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

XAV99SXD40 XAV99SXD40

URI	`m2://inv/XAV99SXD40`
Kind	conjecture
Layer	research
MSC	46-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 1204.5958#QVA2 (conjecture). In XYCBKM4WKY/e1, conjecture 42

History

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

Maximilian Curtze XAVCB54CPW

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

Mentions

wikipedia: Wikipedia Maximilian Curtze, Maximilian Curtze (topic). Also Wikidata Q1411207

History

2026-11-02: add by m2/dev

XAVE8Z7WX2 XAVE8Z7WX2

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

Mentions

napkin: napkin tex/riemann-surface/line-bundles.tex#definition-1 (definition). In RZP28ERRZV, definition, section 85.2

History

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

Shogun XAVGDA3RCT

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#GQ0A, Shogun (unknown)

History

2026-11-02: add by m2/dev

Ensor, Kathy XAVV3BB61T

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

Mentions

wikipedia: Wikipedia List of statisticians#HE0E, Ensor, Kathy (topic)

History

2026-11-02: add by m2/dev

XAW3JJS093 XAW3JJS093

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

Mentions

arxiv: arXiv 2609.01473#O948 (statement). In ABS9M47F4K/e1, theorem 4.20

History

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

XAW5NHBQGK XAW5NHBQGK

URI	`m2://inv/XAW5NHBQGK`
Kind	statement
Layer	research
MSC	26-XX, 30-XX, 32-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 2505.04593#IDRV (statement). In PEXJPV3NP8/e1, theorem 4.13

History

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

differential one-form XAW8TGR3E5

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

Mentions

lebl_ra: lebl_ra index/6.2.2/differential-one-form, differential one-form (concept). In E59CDZA4DP, index, section 6.2.2

History

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

The scalar maximizer XAW9DMWXT0

URI	`m2://inv/XAW9DMWXT0`
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 2609.38041#J1UF, The scalar maximizer (statement). In 54NQGN1BWM/e1, proposition 2.1

History

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

XAWHCQYNM7 XAWHCQYNM7

URI	`m2://inv/XAWHCQYNM7`
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.29298#RGE1 (statement)

History

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

LOTS XAWPQXS4ED

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

Mentions

wikipedia: Wikipedia LOTS (personality psychology), LOTS (definition). Also Wikidata Q65064643

History

2026-11-02: add by m2/dev

Yuriy Drozd XAWS4YCN1M

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

Mentions

wikipedia: Wikipedia Yuriy Drozd, Yuriy Drozd (topic). Also Wikidata Q12102471

History

2026-11-02: add by m2/dev

Parallel complex structure XAX1R1M42W

URI	`m2://inv/XAX1R1M42W`
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.02721#IARG, Parallel complex structure (statement). In XXFYVDVPPE/e1, lemma 2.1

History

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

XAX3KJ07GW XAX3KJ07GW

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

Mentions

hott_book: hott_book setmath.tex#lem:sets_exact (statement). In N54F33XE07, lem, section C.1.3

History

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

XAX9VHSQ13 XAX9VHSQ13

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

Mentions

arxiv: arXiv 2610.10567#2MZL (statement). In Q7TTRJ20KD/e1, corollary 2.4

History

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

XAXA8QFFZ3 XAXA8QFFZ3

URI	`m2://inv/XAXA8QFFZ3`
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 2610.07292#CZOO (statement). In PZ17NHGAKX/e1, lemma 11

History

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

XAXDKTTCM8 XAXDKTTCM8

URI	`m2://inv/XAXDKTTCM8`
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.12888#572M (statement). In ZNX7Y5CWS1/e1, lemma 2.3.1

History

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

population growth XAXEHM1JK0

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

Mentions

wikidata: Wikidata Q386191, population growth (unknown). Also MathWorld PopulationGrowth

History

2026-10-26: add by m2/dev

triangle identity XAXEY50ZJC

URI	`m2://inv/XAXEY50ZJC`
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.39511#ZX8K, triangle identity (statement). In 6W9H24A378/e1, lemma 6

History

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

Ratan Shankar Mishra XAXZMXP6XD

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

Mentions

wikipedia: Wikipedia Ratan Shankar Mishra, Ratan Shankar Mishra (topic). Also Wikidata Q20006860

History

2026-11-02: add by m2/dev

Erich Kamke XAY6G19ZF7

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

Mentions

wikipedia: Wikipedia Erich Kamke, Erich Kamke (topic). Also Wikidata Q85660

History

2026-11-02: add by m2/dev

XAYK35TDKQ XAYK35TDKQ

URI	`m2://inv/XAYK35TDKQ`
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#8BXO (statement). In ZRE2WQR5XA/e1, theorem III.6

History

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

List of open-source key management systems XAYPN627K5

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

Mentions

wikipedia: Wikipedia Key management#IWL7, List of open-source key management systems (unknown)

History

2026-11-02: add by m2/dev

Neil Turok XAYSPHAM7H

URI	`m2://inv/XAYSPHAM7H`
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 Q1386754, Neil Turok (unknown). Also nLab Neil Turok

History

2026-10-26: add by m2/dev

XAYWZT6RY8 XAYWZT6RY8

URI	`m2://inv/XAYWZT6RY8`
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.21900#OI4V (statement)

History

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

Louis Israel Dublin XAYY076QZQ

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#DW0G, Louis Israel Dublin (unknown)

History

2026-11-02: add by m2/dev

XAZDGQVQ8S XAZDGQVQ8S

URI	`m2://inv/XAZDGQVQ8S`
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.09567#IPBV (statement). In 7RV6BDZAFK/e1, proposition 3.2

History

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

XAZE0XDH14 XAZE0XDH14

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-4 (exercise). In E9HS8K3A52, exercise, section 3.1.5

History

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

Algorithm XAZGRH8F9S

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

Mentions

wikipedia: Wikipedia Jacobi eigenvalue algorithm#R4VQ, Algorithm (definition)

History

2026-11-02: add by m2/dev

XAZS2PWRS5 XAZS2PWRS5

URI	`m2://inv/XAZS2PWRS5`
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.01354#RG8J (statement). In BWD76W20W8/e1, lemma 5.6

History

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

XAZTPMAFSB XAZTPMAFSB

URI	`m2://inv/XAZTPMAFSB`
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.19088#LZ2V (statement). In 90QTB4CC31/e1, proposition 3.21

History

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