Inventory rows MV

Lorentz--Wasserstein distance MV0H048574

URI	`m2://inv/MV0H048574`
Kind	definition
Layer	research
MSC	35-XX, 46-XX, 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 2610.21775#2BOU, Lorentz--Wasserstein distance (definition). In KM3Q791JY0/e1, definition 2.22

History

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

MV0P98TY3K MV0P98TY3K

URI	`m2://inv/MV0P98TY3K`
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.12053#43TA (statement). In MQ226ETRP6/e1, proposition 1.6

History

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

MV0SK5DMZA MV0SK5DMZA

URI	`m2://inv/MV0SK5DMZA`
Kind	definition
Layer	research
MSC	20-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.21255#JHM1 (definition)

History

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

complete MV0SS26010

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#OUBA, complete (definition)

History

2026-11-02: add by m2/dev

exotic meson MV10DP0SAX

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

Mentions

wikidata: Wikidata Q2629256, exotic meson (unknown). Also nLab exotic meson

History

2026-10-26: add by m2/dev

Key principles MV1DFSRT51

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

Mentions

wikipedia: Wikipedia Plate tectonics#4RCJ, Key principles (statement)

History

2026-11-02: add by m2/dev

MV1E9Y4MZ1 MV1E9Y4MZ1

URI	`m2://inv/MV1E9Y4MZ1`
Kind	statement
Layer	research
MSC	35-XX, 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 2609.25449#LSBS (statement). In 9JHMTYGWFQ/e1, proposition 8.1

History

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

deltoid curve MV1KWCJ81K

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

Mentions

wikidata: Wikidata Q2348724, deltoid curve (unknown). Also MathWorld Deltoid
wikipedia: Wikipedia Deltoid curve, Deltoid curve (definition). Also Wikidata Q2348724

History

2026-10-26: add by m2/dev

Partial least squares path modeling MV1M3K2TK8

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

Mentions

wikipedia: Wikipedia Partial least squares path modeling, Partial least squares path modeling (definition). Also Wikidata Q2858899

History

2026-11-02: add by m2/dev

Graph counting lemma MV1PPVDJ1E

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

Mentions

wikipedia: Wikipedia Szemerédi regularity lemma#IZTN, Graph counting lemma (statement)

History

2026-11-02: add by m2/dev

Examples MV1Q40F9P7

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

Mentions

wikipedia: Wikipedia Probabilistic forecasting#LYO1, Examples (example)

History

2026-11-02: add by m2/dev

Protected distribution system MV23XZVRGB

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

Mentions

wikipedia: Wikipedia List of telecommunications encryption terms#L6SZ, Protected distribution system (unknown)

History

2026-11-02: add by m2/dev

MV25JJJJRM MV25JJJJRM

URI	`m2://inv/MV25JJJJRM`
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.21085#GHD3 (statement)

History

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

Lawvere's fixed-point theorem MV2CAC97YP

URI	`m2://inv/MV2CAC97YP`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Lawvere's fixed-point theorem N84M16W19X

Mentions

wikidata: Wikidata Q15809744, Lawvere's fixed-point theorem (unknown). Also nLab Lawvere's fixed point theorem
wikipedia: Wikipedia Lawvere's fixed-point theorem, Lawvere's fixed-point theorem (statement). Also Wikidata Q15809744

History

2026-10-26: add by m2/dev

MV2DPK3Q46 MV2DPK3Q46

URI	`m2://inv/MV2DPK3Q46`
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 0805.4273#OJSS (statement). In ZX3NV58FRX/e1, theorem 1.4

History

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

Alexander polynomial MV2K4Z4D9Q

URI	`m2://inv/MV2K4Z4D9Q`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Alexander polynomial JKA25KDPQP

Mentions

wikidata: Wikidata Q1634206, Alexander polynomial (concept). Also MathWorld AlexanderPolynomial, nLab Alexander polynomial
wikipedia: Wikipedia Alexander polynomial, Alexander polynomial (definition). Also Wikidata Q1634206

History

2026-10-26: add by m2/dev

Examples MV2YVP399C

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

Mentions

wikipedia: Wikipedia Semisimple Lie algebra#4A09, Examples (example)

History

2026-11-02: add by m2/dev

MV335PTS4X MV335PTS4X

URI	`m2://inv/MV335PTS4X`
Kind	statement
Layer	research
MSC	35-XX, 37-XX, 47-XX, 58-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.17139#QVAA (statement). In AQWX60Z563/e1, theorem 1.1

History

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

MV36RQFQBX MV36RQFQBX

URI	`m2://inv/MV36RQFQBX`
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#JT4Z (statement). In CC6S1HVK0T/e1, lemma 2.3

History

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

Local projection radius MV3D8EZBX6

URI	`m2://inv/MV3D8EZBX6`
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.30173#2P4P, Local projection radius (statement)

History

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

MV3GVB2YTD MV3GVB2YTD

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

Mentions

napkin: napkin tex/H113/ring-flavors.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 4.6

History

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

MV3HGXBKW5 MV3HGXBKW5

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

Mentions

arxiv: arXiv 1509.00950#RAZ9 (proof). In MDZFW5GACV/e1, proof

History

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

Yan's theorem MV3HJM0EPH

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

Mentions

wikipedia: Wikipedia Yan's theorem, Yan's theorem (statement). Also Wikidata Q114424426

History

2026-11-02: add by m2/dev

MV3MHYNST8 MV3MHYNST8

URI	`m2://inv/MV3MHYNST8`
Kind	example
Layer	research
MSC	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 2610.09945#OEXG (example). In V7VCEA0VAA/e1, example 5.4

History

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

MV3NCZ4EFP MV3NCZ4EFP

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

Mentions

arxiv: arXiv 2609.21860#6A6X (definition)

History

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

decidable MV3P0MTQSD

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#SE2Q, decidable (definition)

History

2026-11-02: add by m2/dev

MV3RWTEWP6 MV3RWTEWP6

URI	`m2://inv/MV3RWTEWP6`
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.04382#MUM8 (statement). In 7VW8XD28G1/e1, theorem 3

History

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

MV3WR9B0ZB MV3WR9B0ZB

URI	`m2://inv/MV3WR9B0ZB`
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.20588#AYF1 (statement)

History

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

Basic properties MV3YPTVCK7

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

Mentions

wikipedia: Wikipedia Quotient of a formal language#VU2B, Basic properties (statement)

History

2026-11-02: add by m2/dev

Grace–Walsh–Szegő theorem MV46TP4K40

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

Mentions

wikipedia: Wikipedia Grace–Walsh–Szegő theorem, Grace–Walsh–Szegő theorem (statement). Also Wikidata Q16979202

History

2026-11-02: add by m2/dev

A braid permutes distinct input types MV49NE1PS7

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

Mentions

arxiv: arXiv 2609.25805#1MND, A braid permutes distinct input types (example)

History

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

algorithm, on-line MV4H79R2FV

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

Mentions

applied_combinatorics: applied_combinatorics index/16.1/algorithm-on-line, algorithm, on-line (concept). In QKM9DD2H56, index, section 16.1

History

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

Ancient Egyptian multiplication MV4HPWVKM7

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

Mentions

wikidata: Wikidata Q1346420, Ancient Egyptian multiplication (unknown). Also MathWorld RussianMultiplication
wikipedia: Wikipedia Ancient Egyptian multiplication, Ancient Egyptian multiplication (definition). Also Wikidata Q1346420

History

2026-10-26: add by m2/dev

Theorem MV4YES14PE

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

Mentions

wikipedia: Wikipedia Envelope theorem#M9KR, Theorem (statement)

History

2026-11-02: add by m2/dev

Chudnovsky brothers MV4YK45SVH

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

Mentions

wikipedia: Wikipedia Chudnovsky brothers, Chudnovsky brothers (topic). Also Wikidata Q1174002

History

2026-11-02: add by m2/dev

MV4ZWA4PER MV4ZWA4PER

URI	`m2://inv/MV4ZWA4PER`
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.18600#3GMB (statement). In 31D6TQVCNZ/e1, lemma 1.4

History

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

Joaquim Gomes de Souza MV50GXQPCQ

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

Mentions

wikipedia: Wikipedia Joaquim Gomes de Souza, Joaquim Gomes de Souza (topic). Also Wikidata Q10307195

History

2026-11-02: add by m2/dev

diagonal matrix, matrix exponential of MV50S0SZAS

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

Mentions

lebl_diffyqs: lebl_diffyqs index/10.8.2/diagonal-matrix-matrix-exponential-of, diagonal matrix, matrix exponential of (concept). In E9HS8K3A52, index, section 10.8.2

History

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

De Bruijn notation MV53EXM524

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

Mentions

wikipedia: Wikipedia De Bruijn notation, De Bruijn notation (definition). Also Wikidata Q5244291

History

2026-11-02: add by m2/dev

MV576XXSEJ MV576XXSEJ

URI	`m2://inv/MV576XXSEJ`
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.38069#0ZCV (statement). In K0E0H4RV6Y/e1, theorem 3

History

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

MV5D7Z68WB MV5D7Z68WB

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

Mentions

hott_book: hott_book reals.tex#proof-40 (proof). In N54F33XE07, proof, section B.6

History

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

Properties MV68Q089BA

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

Mentions

wikipedia: Wikipedia Vámos matroid#1P2Q, Properties (statement)

History

2026-11-02: add by m2/dev

MV6BKBWM06 MV6BKBWM06

URI	`m2://inv/MV6BKBWM06`
Kind	statement
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 2504.14383#DRU7 (statement). In QD0X3XJS6T/e1, proposition 7.3

History

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

Numerical solution of PDEs MV6H28QQ45

URI	`m2://inv/MV6H28QQ45`
Kind	problem
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#WQA2, Numerical solution of PDEs (problem). In DACV7NTAAK/e1, problem

History

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

MV6H5Z9BDZ MV6H5Z9BDZ

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

Mentions

arxiv: arXiv 2609.37706#N2U8 (statement). In 6YY27KRJFN/e1, lemma 2.17

History

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

Inverted catenary MV6J078HMD

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

Mentions

wikipedia: Wikipedia Catenary#3ALO, Inverted catenary (unknown)

History

2026-11-02: add by m2/dev

Examples MV6KZ1Z44J

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

Mentions

wikipedia: Wikipedia Hypergeometric identity#JFGK, Examples (example)

History

2026-11-02: add by m2/dev

20th century in mathematical logic MV70YZ6QAV

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

Mentions

wikipedia: Wikipedia Mathematical logic#6O7M, 20th century in mathematical logic (unknown)

History

2026-11-02: add by m2/dev

MV71QS2BXV MV71QS2BXV

URI	`m2://inv/MV71QS2BXV`
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.37739#PNZO (statement). In F5XF5VXTXY/e1, lemma 8.3

History

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

MV75QGBE5W MV75QGBE5W

URI	`m2://inv/MV75QGBE5W`
Kind	statement
Layer	research
MSC	26-XX, 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.21343#N3ND (statement). In XN9MHBK5BT/e1, lemma 3.1

History

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

MV78VQNHX1 MV78VQNHX1

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

Mentions

arxiv: arXiv 2609.34339#QNGO (statement). In 9WFSTGMQ4E/e1, lemma 3.10

History

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

Data stream clustering MV79JBZ50H

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

Mentions

wikipedia: Wikipedia Data stream clustering, Data stream clustering (definition). Also Wikidata Q5227360

History

2026-11-02: add by m2/dev

MV7D7ZHHX5 MV7D7ZHHX5

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

Mentions

arxiv: arXiv 2412.12141#XZ8S (statement). In V980ZMH759/e1, lemma 2.1

History

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

MV7EX2PD09 MV7EX2PD09

URI	`m2://inv/MV7EX2PD09`
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 2601.18223#ON4Q (statement). In ZRXE7EJA93/e1, theorem 1.2

History

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

Intermediate value theorem (Version I) MV7GDHBJSR

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

Mentions

wikipedia: Wikipedia Intermediate value theorem#8QEK, Intermediate value theorem (Version I) (statement)

History

2026-11-02: add by m2/dev

MV82BZEFG9 MV82BZEFG9

URI	`m2://inv/MV82BZEFG9`
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.14839#2WWT (statement). In CYB41667NA/e1, proposition 2.1

History

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

MV833GDWFZ MV833GDWFZ

URI	`m2://inv/MV833GDWFZ`
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.09648#8JUF (statement). In WB9PTPN54H/e1, lemma 4.1

History

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

MV8EXZJP5Z MV8EXZJP5Z

URI	`m2://inv/MV8EXZJP5Z`
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 2404.14312#OCL9 (statement). In SEPBZN2DRH/e1, lemma 4

History

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

Wilkinson, Leland MV8JVQMG91

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

Mentions

wikipedia: Wikipedia List of statisticians#33WB, Wilkinson, Leland (unknown)

History

2026-11-02: add by m2/dev

MV8RYZMPFV MV8RYZMPFV

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

Mentions

arxiv: arXiv 2610.21600#B7I3 (statement). In EGAXXGHQNK/e1, proposition 3

History

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

MV8SCS87VM MV8SCS87VM

URI	`m2://inv/MV8SCS87VM`
Kind	example
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 2508.03972#84LS (example). In 2JD3KNKJ1P/e1, example 5.1

History

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

Lichnerowicz formula MV8VEXKQ0T

URI	`m2://inv/MV8VEXKQ0T`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Lichnerowicz formula 4WCJ49Z90S

Mentions

wikidata: Wikidata Q6543306, Lichnerowicz formula (concept). Also nLab Lichnerowicz formula
wikipedia: Wikipedia Lichnerowicz formula, Lichnerowicz formula (statement). Also Wikidata Q6543306

History

2026-10-26: add by m2/dev

Binary Code Packing Problem MV8WWKJC91

URI	`m2://inv/MV8WWKJC91`
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.11609#BNQ7, Binary Code Packing Problem (definition). In YBCF3XKJMC/e1, definition 2.1

History

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

MV8YXJA053 MV8YXJA053

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

Mentions

arxiv: arXiv 2610.21960#ICEZ (statement). In QX77AN49J0/e1, theorem 8.1

History

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

MV8Z9PWNT2 MV8Z9PWNT2

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

Mentions

applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-5 (exercise). In QKM9DD2H56, exercise, section 8

History

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

Lorentz group MV9518QB7K

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

Mentions

wikipedia: Wikipedia List of mathematical topics in relativity#NVZP, Lorentz group (definition)

History

2026-11-02: add by m2/dev

MV9587F2XK MV9587F2XK

URI	`m2://inv/MV9587F2XK`
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.35740#UEOV (statement). In N7C6C0QGJM/e1, proposition 3.3

History

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

Expected value MV999QAWZ9

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

Mentions

wikipedia: Wikipedia List of statistics articles#K2XR, Expected value (definition)

History

2026-11-02: add by m2/dev

Infinite sequences MV9ADETTYC

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

Mentions

open_logic: open_logic content/sets-functions-relations/sets/important-sets.tex#ex-3, Infinite sequences (example). In PKGMM3P5QY, ex, section 82.4

History

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

The two tail representations MV9D6XKH6G

URI	`m2://inv/MV9D6XKH6G`
Kind	statement
Layer	research
MSC	14-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.00490#N2SY, The two tail representations (statement). In PZJDV6SJ9E/e1, lemma 3.2

History

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

pantachie MV9F55W40F

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

Mentions

wikipedia: Wikipedia Glossary of set theory#9OSC, pantachie (definition)

History

2026-11-02: add by m2/dev

Italian school of algebraic geometry MV9GGWP5CK

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

Mentions

wikipedia: Wikipedia List of incomplete proofs#0D2H, Italian school of algebraic geometry (topic)

History

2026-11-02: add by m2/dev

M. J. D. Powell MV9H458EHB

URI	`m2://inv/MV9H458EHB`
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#801D, M. J. D. Powell (topic)

History

2026-11-02: add by m2/dev

MV9XBPR7TM MV9XBPR7TM

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

Mentions

arxiv: arXiv 2511.05069#1AM4 (statement). In SFQBJBTW8K/e1, lemma 2.5

History

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

Differential game MV9Z9WXWKZ

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

Mentions

wikipedia: Wikipedia Differential game, Differential game (definition). Also Wikidata Q1973196

History

2026-11-02: add by m2/dev

Linear arcs and exact quadratic obstructions MVA0ZR0R0S

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

Mentions

arxiv: arXiv 2610.20649#5VPP, Linear arcs and exact quadratic obstructions (statement). In XDTM624YPE/e1, theorem 8.11

History

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

MVA32ZYKCT MVA32ZYKCT

URI	`m2://inv/MVA32ZYKCT`
Kind	statement
Layer	research
MSC	13-XX, 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 2505.05539#L528 (statement). In 8SVVEVGMNE/e1, corollary 4.26

History

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

Example MVABXV3WZ6

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

Mentions

wikipedia: Wikipedia Dedekind–Hasse norm#658W, Example (example)

History

2026-11-02: add by m2/dev

Software for calculating MVADJQZ7YW

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

Mentions

wikipedia: Wikipedia List of topics related to π#BQFP, Software for calculating (definition)

History

2026-11-02: add by m2/dev

Surgery obstruction MVAE2PKD1A

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

Mentions

wikipedia: Wikipedia Surgery obstruction, Surgery obstruction (definition). Also Wikidata Q7646196

History

2026-11-02: add by m2/dev

TrueCrypt MVAK8APVCV

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

Mentions

wikipedia: Wikipedia TrueCrypt, TrueCrypt (definition). Also Wikidata Q542836

History

2026-11-02: add by m2/dev

Properties MVAQ72RRZS

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

Mentions

wikipedia: Wikipedia Hypotenuse#K6GM, Properties (statement)

History

2026-11-02: add by m2/dev

MVAQ7CSCHN MVAQ7CSCHN

URI	`m2://inv/MVAQ7CSCHN`
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 2309.08900#QAFY (definition). In 8X74NB6XBC/e1, definition 2.3

History

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

MVAS1V364Y MVAS1V364Y

URI	`m2://inv/MVAS1V364Y`
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.22847#5CUI (statement)

History

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

Weights MVB1WMWPM0

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

Mentions

wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#2N7W, Weights (definition)

History

2026-11-02: add by m2/dev

MVB3HBCEXM MVB3HBCEXM

URI	`m2://inv/MVB3HBCEXM`
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.10840#2GCQ (statement). In JSJQEPY71E/e1, lemma 5.3

History

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

Bernhard Hermann Neumann MVB9R16A1K

URI	`m2://inv/MVB9R16A1K`
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#AUT5, Bernhard Hermann Neumann (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HE0J, Bernhard Hermann Neumann (topic)

History

2026-11-02: add by m2/dev

MVBEVA3A5X MVBEVA3A5X

URI	`m2://inv/MVBEVA3A5X`
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.30544#58S7 (statement). In CB35ZBBBPT/e1, proposition 4.13

History

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

Sampling error MVBJE9DH04

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

Mentions

wikipedia: Wikipedia List of statistics articles#2L3V, Sampling error (definition)

History

2026-11-02: add by m2/dev

Pentagonal pyramid MVBJQGZFVG

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

Mentions

wikipedia: Wikipedia Pentagonal pyramid, Pentagonal pyramid (definition). Also Wikidata Q1154713

History

2026-11-02: add by m2/dev

MVBN4SDEZ9 MVBN4SDEZ9

URI	`m2://inv/MVBN4SDEZ9`
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.05221#T2BI (statement). In 53YVH3QS37/e1, theorem

History

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

MVBRJF2AZD MVBRJF2AZD

URI	`m2://inv/MVBRJF2AZD`
Kind	definition
Layer	research
MSC	16-XX, 18-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.30262#O6DI (definition). In FWA5QW6FCF/e1, definition 4.3

History

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

MVBTDE3QDD MVBTDE3QDD

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

Mentions

arxiv: arXiv 2609.27366#B9PW (definition)

History

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

Respondent error MVBWNA39XB

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

Mentions

wikipedia: Wikipedia Respondent error, Respondent error (definition). Also Wikidata Q7315942

History

2026-11-02: add by m2/dev

Dürer's polyhedron MVBZ7SVSHD

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

Mentions

wikipedia: Wikipedia Truncated triangular trapezohedron#05WR, Dürer's polyhedron (unknown)

History

2026-11-02: add by m2/dev

Examples MVC1ZREYSZ

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

Mentions

wikipedia: Wikipedia Mittag-Leffler star#WMFI, Examples (example)

History

2026-11-02: add by m2/dev

MVC5X28RKK MVC5X28RKK

URI	`m2://inv/MVC5X28RKK`
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.13869#VJ1R (statement). In AM0K62YRZ3/e1, theorem C

History

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

MVC9HXZW1Y MVC9HXZW1Y

URI	`m2://inv/MVC9HXZW1Y`
Kind	statement
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.32475#KSMU (statement). In 5N606WED8M/e1, theorem 7

History

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

Rank product MVCDCM54A9

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

Mentions

wikipedia: Wikipedia List of statistics articles#R122, Rank product (definition)

History

2026-11-02: add by m2/dev

Properties MVCDR74Q5P

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

Mentions

wikipedia: Wikipedia Coherent risk measure#ZBRL, Properties (statement)

History

2026-11-02: add by m2/dev

Cryptographic agility MVCN9WRGQH

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

Mentions

wikipedia: Wikipedia Cryptographic agility, Cryptographic agility (definition). Also Wikidata Q60755507

History

2026-11-02: add by m2/dev

MVCQ6DYYHP MVCQ6DYYHP

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

Mentions

arxiv: arXiv 2609.25495#GY1C (statement)

History

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

MVCZ0668AQ MVCZ0668AQ

URI	`m2://inv/MVCZ0668AQ`
Kind	statement
Layer	research
MSC	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 2610.19023#ZBAO (statement). In QFA8TMJPHZ/e1, lemma 3.1

History

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

MVD26T1K7Q MVD26T1K7Q

URI	`m2://inv/MVD26T1K7Q`
Kind	definition
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#XLR0 (definition). In 7V3HG30ZGW/e1, definition A.17

History

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

Left-hand side MVD3P1G6FC

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#DKAU, Left-hand side (definition)

History

2026-11-02: add by m2/dev

Octonion MVD4QW0YBZ

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#LHMC, Octonion (definition)

History

2026-11-02: add by m2/dev

Bogoliubov–Parasyuk theorem MVDARM36H4

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

Mentions

mathlib_1000: mathlib_1000 Q4937691, Bogoliubov–Parasyuk theorem (statement). Also Wikidata Q4937691
thousand_plus: thousand_plus Q4937691, Bogoliubov–Parasyuk theorem (statement). Also Wikidata Q4937691, Wikipedia Bogoliubov–Parasyuk theorem
wikipedia: Wikipedia Bogoliubov–Parasyuk theorem, Bogoliubov–Parasyuk theorem (statement). Also Wikidata Q4937691

History

2026-10-26: add by m2/dev

ultraproduct MVDDHPZV2Y

URI	`m2://inv/MVDDHPZV2Y`
Kind	statement
Layer	textbook
MSC	03-XX
Sources	4
Outcome	open
Node	Ultraproduct AX9Q86GB8M

Mentions

mathlib_1000: mathlib_1000 Q1535225, Łoś' theorem (statement). Also Mathlib FirstOrder.Language.Ultraproduct.sentence_realize, Wikidata Q1535225
thousand_plus: thousand_plus Q1535225, Łoś' theorem (statement). Also Mathlib FirstOrder.Language.Ultraproduct.sentence_realize, Wikidata Q1535225, Wikipedia Łoś' theorem
wikidata: Wikidata Q1535225, ultraproduct (unknown). Also MathWorld Ultraproduct, nLab ultraproduct
wikipedia: Wikipedia Ultraproduct, Ultraproduct (definition). Also Wikidata Q1535225

History

2026-10-26: add by m2/dev

Alladi–Grinstead constant MVDHFPQPPB

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

Mentions

wikidata: Wikidata Q29588589, Alladi–Grinstead constant (object). Also MathWorld Alladi-GrinsteadConstant

History

2026-10-26: add by m2/dev

Dual of Dilworth's Theorem MVDP08DJ0R

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

Mentions

applied_combinatorics: applied_combinatorics source/s_posets_dilworth.ptx#thm_dualdilworth, Dual of Dilworth's Theorem (statement). In QKM9DD2H56, theorem, section 6.3

History

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

Entropy bound, {[,Lemma 6 MVE195MB2G

URI	`m2://inv/MVE195MB2G`
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 2310.11101#JRUS, Entropy bound, {[,Lemma 6 (statement). In YBBKTP4E70/e1, lemma 4.4

History

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

Spherical error MVEHAXJZMH

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

Mentions

wikipedia: Wikipedia Gauss–Markov theorem#TUWY, Spherical error (unknown)

History

2026-11-02: add by m2/dev

Uniform square hard-edge scaling MVEHRADV8F

URI	`m2://inv/MVEHRADV8F`
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.28198#5ZF8, Uniform square hard-edge scaling (statement)

History

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

MVEJDM0C2G MVEJDM0C2G

URI	`m2://inv/MVEJDM0C2G`
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 2602.02346#PFSM (statement). In 1JSNWJH3BX/e1, corollary 1

History

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

Isbell duality MVEPEHAQ58

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

Mentions

wikipedia: Wikipedia Isbell duality, Isbell duality (definition). Also Wikidata Q16978887

History

2026-11-02: add by m2/dev

Invariant set postulate MVEY0A7YN1

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

Mentions

wikipedia: Wikipedia Tim Palmer (physicist)#DDVF, Invariant set postulate (unknown)

History

2026-11-02: add by m2/dev

Boundary-normal leading direction MVF1T56KJZ

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

Mentions

arxiv: arXiv 2609.39190#99OS, Boundary-normal leading direction (statement). In J144J3ANFZ/e1, proposition 3.11

History

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

Statistical generalization MVF5A0PJKZ

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

Mentions

wikipedia: Wikipedia Inductive reasoning#3ATA, Statistical generalization (unknown)

History

2026-11-02: add by m2/dev

Rejection sampling from independent group streams MVF744NGGF

URI	`m2://inv/MVF744NGGF`
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#YZK3, Rejection sampling from independent group streams (statement). In 9QDRMZX8EY/e1, lemma 26

History

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

MVF970GX6X MVF970GX6X

URI	`m2://inv/MVF970GX6X`
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.00789#4442 (statement). In 4WPYBTARS2/e1, theorem 5.5

History

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

Generalizations MVFCSEP8C4

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

Mentions

wikipedia: Wikipedia Semigroup#QEZG, Generalizations (statement)

History

2026-11-02: add by m2/dev

MVFDQQ9SRF MVFDQQ9SRF

URI	`m2://inv/MVFDQQ9SRF`
Kind	statement
Layer	research
MSC	16-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.35396#YGOQ (statement). In 51N4SF53EV/e1, proposition 2.10

History

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

Morley rank MVFEPDFPMS

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

Mentions

wikipedia: Wikipedia Morley rank, Morley rank (definition). Also Wikidata Q6912570

History

2026-11-02: add by m2/dev

Generalizations MVFJMSWNS9

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

Mentions

wikipedia: Wikipedia Rokhlin's theorem#7NKL, Generalizations (statement)

History

2026-11-02: add by m2/dev

MVFQ159Z9X MVFQ159Z9X

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

Mentions

arxiv: arXiv 2609.30067#S4H9 (statement)

History

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

MVFS4WAAZ4 MVFS4WAAZ4

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

Mentions

arxiv: arXiv 2609.35605#PJHS (definition). In X1KWTAA3M2/e1, definition 9

History

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

MVFY9QHRZX MVFY9QHRZX

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

Mentions

arxiv: arXiv 2603.28861#OQLG (statement). In A3VQ2TNRKK/e1, proposition 8.3

History

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

Bernard de Wit MVG15ZH1AS

URI	`m2://inv/MVG15ZH1AS`
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 Q11174828, Bernard de Wit (unknown). Also nLab Bernard de Wit

History

2026-10-26: add by m2/dev

MVG55WF8FC MVG55WF8FC

URI	`m2://inv/MVG55WF8FC`
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.26515#J0HR (statement)

History

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

MVGARV1HR1 MVGARV1HR1

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

Mentions

arxiv: arXiv 2609.25289#EH2Z (problem)

History

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

MVGJRWV6HW MVGJRWV6HW

URI	`m2://inv/MVGJRWV6HW`
Kind	statement
Layer	research
MSC	14-XX, 16-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 2605.02634#D7J1 (statement). In EZ6PAF0MXH/e1, theorem 5.5

History

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

Polynomial-time Turing reduction MVGZ8Q88D3

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#H8BX, Polynomial-time Turing reduction (definition)

History

2026-11-02: add by m2/dev

MVHH1JNA6K MVHH1JNA6K

URI	`m2://inv/MVHH1JNA6K`
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.14803#WC24 (statement). In VAEVDTBD3B/e1, corollary 2.10

History

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

MVHNFZAZ76 MVHNFZAZ76

URI	`m2://inv/MVHNFZAZ76`
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.10086#C96H (statement). In NP9X9CAK19/e1, lemma 5.2

History

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

Katarzyna Rejzner MVHPV2P0GW

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

Mentions

wikidata: Wikidata Q62066729, Katarzyna Rejzner (unknown). Also nLab Katarzyna Rejzner
wikipedia: Wikipedia Kasia Rejzner, Kasia Rejzner (topic). Also Wikidata Q62066729

History

2026-10-26: add by m2/dev

Basic properties MVHQ147MMH

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

Mentions

wikipedia: Wikipedia Fundamental groupoid#XGXS, Basic properties (statement)

History

2026-11-02: add by m2/dev

MVHQ5XTYQS MVHQ5XTYQS

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

Mentions

arxiv: arXiv 2609.20028#0B5U (statement)

History

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

The area of the first plateau MVHRA0CC33

URI	`m2://inv/MVHRA0CC33`
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#MHDM, The area of the first plateau (statement). In 2Y47E704Z9/e1, lemma 2.4

History

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

MVHS4P1FN6 MVHS4P1FN6

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_logic-prop.ptx#example-2 (example). In Y91XFCEVHQ, example, section 4.1.2

History

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

Frederick Bagemihl MVJ33MMDTF

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

Mentions

wikipedia: Wikipedia Frederick Bagemihl, Frederick Bagemihl (topic). Also Wikidata Q5497324

History

2026-11-02: add by m2/dev

Richard Lenski MVJ7CMYPJC

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#IEPO, Richard Lenski (unknown)

History

2026-11-02: add by m2/dev

MVJ8JTPK64 MVJ8JTPK64

URI	`m2://inv/MVJ8JTPK64`
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.11823#3QCL (statement). In YNQHA63Z2B/e1, lemma 4.2

History

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

MVJAC9FD9F MVJAC9FD9F

URI	`m2://inv/MVJAC9FD9F`
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.09042#O75Z (statement). In 7CS3N5K9FJ/e1, lemma 13

History

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

Application to Roth’s theorem MVJCJ20KZJ

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

Mentions

wikipedia: Wikipedia Roth's theorem on arithmetic progressions#GSCU, Application to Roth’s theorem (statement)

History

2026-11-02: add by m2/dev

Isbell duality MVJFX6J6FY

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

Mentions

wikipedia: Wikipedia List of dualities#0XFG, Isbell duality (definition)

History

2026-11-02: add by m2/dev

Decoy effect MVJH194EG4

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

Mentions

wikipedia: Wikipedia List of cognitive biases#BXZ9, Decoy effect (unknown)

History

2026-11-02: add by m2/dev

Tracking within a block MVK5P9JB34

URI	`m2://inv/MVK5P9JB34`
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#8X47, Tracking within a block (statement). In B29M4E6KGC/e1, lemma H.21

History

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

Entailment MVK9DB228H

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#defn-2, Entailment (definition). In PKGMM3P5QY, defn, section 19.15

History

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

MVK9DH75EJ MVK9DH75EJ

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

Mentions

austin_ula: austin_ula src/section2-1.xml#prop-system-comb (statement). In 649HGZKE96, proposition, section 2.1.2

History

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

MVKBGMJ5QW MVKBGMJ5QW

URI	`m2://inv/MVKBGMJ5QW`
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.21403#W54T (statement)

History

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

MVKDVSJGH0 MVKDVSJGH0

URI	`m2://inv/MVKDVSJGH0`
Kind	statement
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.04516#3EQS (statement). In GZZBR0FX50/e1, lemma 3.1

History

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

MVKEDFRZ62 MVKEDFRZ62

URI	`m2://inv/MVKEDFRZ62`
Kind	statement
Layer	research
MSC	01-XX, 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.06338#WLRZ (statement). In F1CYVYK7YB/e1, theorem 5.9

History

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

geodesic map MVKRRM1VGT

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

Mentions

wikidata: Wikidata Q17100560, geodesic map (unknown). Also MathWorld GeodesicMapping
wikipedia: Wikipedia Geodesic map, Geodesic map (definition). Also Wikidata Q17100560

History

2026-10-26: add by m2/dev

successor, isomorphism on $\Z$ MVKWSC728T

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

Mentions

hott_book: hott_book index/7.1.1/successor-isomorphism-on-z, successor, isomorphism on $\Z$ (concept). In N54F33XE07, index, section 7.1.1

History

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

MVKZETTZ36 MVKZETTZ36

URI	`m2://inv/MVKZETTZ36`
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 2610.03559#J49H (statement). In R68THJCHX6/e1, corollary 8

History

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

MVMBJ0RYFP MVMBJ0RYFP

URI	`m2://inv/MVMBJ0RYFP`
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.24078#CXNK (statement)

History

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

Linear gap MVMKJA1WTY

URI	`m2://inv/MVMKJA1WTY`
Kind	statement
Layer	research
MSC	37-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.09912#GOHH, Linear gap (statement). In 65TJENWK7X/e1, lemma 57

History

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

Properties MVMNDW6EK7

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

Mentions

wikipedia: Wikipedia Weakly measurable function#6MPL, Properties (statement)

History

2026-11-02: add by m2/dev

MVMS4HTVYM MVMS4HTVYM

URI	`m2://inv/MVMS4HTVYM`
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#FON8 (statement). In J99PFFJXPE/e1, corollary 3.9

History

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

MVMXCR372N MVMXCR372N

URI	`m2://inv/MVMXCR372N`
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.37489#ATPQ (statement). In 5ZC91T5PHQ/e1, proposition

History

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

MVMXMZCG5W MVMXMZCG5W

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

Mentions

arxiv: arXiv 2610.16381#NQJ9 (definition). In 304QK565QF/e1, definition 2.10

History

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

Karn's algorithm MVMZ99Q2J3

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

Mentions

wikipedia: Wikipedia List of algorithms#ZNQ3, Karn's algorithm (unknown)

History

2026-11-02: add by m2/dev

MVN0Z280D6 MVN0Z280D6

URI	`m2://inv/MVN0Z280D6`
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 2510.09873#P941 (statement). In KNB3ZCNC9Q/e1, lemma 9.2

History

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

Semantic similarity MVN2S3NJC4

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

Mentions

wikipedia: Wikipedia Semantic similarity, Semantic similarity (definition). Also Wikidata Q2268914

History

2026-11-02: add by m2/dev

prime ideal MVN4P28CY5

URI	`m2://inv/MVN4P28CY5`
Kind	definition
Layer	textbook
MSC	11-XX
Sources	5
Outcome	node (a node has the same name as the row)
Node	Prime ideal 00MHHZ9SNE

Mentions

arxiv: arXiv 2610.17137#46ST, Prime ideal (definition). In GKHSE92M91/e1, definition 17
mathlib_overview: mathlib_overview General algebra > Ideals and quotients > prime ideal, prime ideal (unknown). Also Mathlib Ideal.IsPrime
mathlib_undergrad: mathlib_undergrad Ring Theory > Ideals and Quotients > prime ideals, prime ideals (unknown). Also Mathlib Ideal.IsPrime
wikidata: Wikidata Q863912, prime ideal (definition). Also EoM Prime_ideal, Mathlib Ideal.IsPrime, MathWorld PrimeIdeal, nLab prime ideal, ProofWiki Definition:Prime_Ideal_of_Ring
wikipedia: Wikipedia Prime ideal, Prime ideal (definition). Also Wikidata Q863912

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent
2026-10-31: merge by m2/v0.5.6

MVN9A9GFYY MVN9A9GFYY

URI	`m2://inv/MVN9A9GFYY`
Kind	statement
Layer	research
MSC	35-XX, 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 2609.25449#1KCF (statement). In 9JHMTYGWFQ/e1, lemma 4.8

History

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

MVNABFWZ0A MVNABFWZ0A

URI	`m2://inv/MVNABFWZ0A`
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.31289#WP53 (statement). In CPDM7J0CC0/e1, lemma 4.2

History

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

Helge von Koch MVNBPAWBFD

URI	`m2://inv/MVNBPAWBFD`
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#AF2R, Helge von Koch (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#X6BW, Helge von Koch (topic)

History

2026-11-02: add by m2/dev

Gaussian empty-request map MVNJVJWGAS

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

Mentions

arxiv: arXiv 2610.10519#KKT4, Gaussian empty-request map (example). In 83MMH8VF1X/e1, example 1

History

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

MVNK583RZF MVNK583RZF

URI	`m2://inv/MVNK583RZF`
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.21455#IKPY (statement). In CY0E87QDED/e1, lemma 3

History

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

Roland Carl Backhouse MVNMCXWWFN

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

Mentions

wikipedia: Wikipedia Roland Carl Backhouse, Roland Carl Backhouse (topic). Also Wikidata Q7360185

History

2026-11-02: add by m2/dev

Examples MVNNBF8HVZ

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

Mentions

wikipedia: Wikipedia Michael selection theorem#W24Q, Examples (example)

History

2026-11-02: add by m2/dev

Pullback and $d$ commute MVNNVEREDY

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

Mentions

napkin: napkin tex/diffgeo/stokes.tex#problem-1, Pullback and $d$ commute (exercise). In RZP28ERRZV, problem, section 46.6

History

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

MVNV45QH41 MVNV45QH41

URI	`m2://inv/MVNV45QH41`
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.19309#O6JX (statement). In XKENQH35DW/e1, theorem 1.1

History

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

MVNW98P40A MVNW98P40A

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

Mentions

arxiv: arXiv 2610.14236#GYK0 (definition). In XEQD21EBTT/e1, definition 2.2

History

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

Funk--Hecke formula for cubics MVP1M0MH6Z

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

Mentions

arxiv: arXiv 2610.13532#5CEI, Funk--Hecke formula for cubics (statement). In 9B0X8YPF3P/e1, lemma 6.2

History

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

MVP807D5BB MVP807D5BB

URI	`m2://inv/MVP807D5BB`
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.15217#AYP9 (definition). In G70Q2FB591/e1, definition 3.22

History

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

Lie subalgebra MVPC6SGFSV

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

Mentions

wikidata: Wikidata Q78502423, Lie subalgebra (unknown). Also MathWorld LieSubalgebra

History

2026-10-26: add by m2/dev

MVPE6Y9VVK MVPE6Y9VVK

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

Mentions

open_logic: open_logic content/set-theory/z/infinity-again.tex#defnomega (definition). In PKGMM3P5QY, defn, section 76.3

History

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

Victor Puiseux MVPJJACV6F

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

Mentions

wikipedia: Wikipedia Victor Puiseux, Victor Puiseux (topic). Also Wikidata Q951329

History

2026-11-02: add by m2/dev

Connection form MVPK5A55R8

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#6BYS, Connection form (definition)

History

2026-11-02: add by m2/dev

Donald A. Martin MVPKSNY00Q

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#AZAW, Donald A. Martin (topic)

History

2026-11-02: add by m2/dev

MVPSGJ1BGN MVPSGJ1BGN

URI	`m2://inv/MVPSGJ1BGN`
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 2406.19866#AFFN (statement). In 9F94CEQ1ZM/e1, corollary 3.2

History

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

Cauchy, approximation, type of MVPSR6DBT5

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

Mentions

hott_book: hott_book index/B.3.2/cauchy-approximation-type-of, Cauchy, approximation, type of (concept). In N54F33XE07, index, section B.3.2

History

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

MVPXXRNJ2Y MVPXXRNJ2Y

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

Mentions

arxiv: arXiv 2609.24578#V4HF (statement)

History

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

Integral bound MVQ28WDVH7

URI	`m2://inv/MVQ28WDVH7`
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#U32V, Integral bound (statement). In GG14QF0JKJ/e1, proposition 3.5

History

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

The opposite base MVQE2ESPH1

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

Mentions

arxiv: arXiv 2609.39615#57L3, The opposite base (example). In RNXRAZYR3S/e1, example 4.3

History

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

List of algorithm general topics MVQFYZ31A7

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#8XAR, List of algorithm general topics (topic)

History

2026-11-02: add by m2/dev

MVQG2277JX MVQG2277JX

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

Mentions

arxiv: arXiv 2609.20675#9Q7Z (statement)

History

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

Schrödinger representation MVQMMDVJGS

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

Mentions

wikipedia: Wikipedia Oscillator representation#IZ1F, Schrödinger representation (unknown)

History

2026-11-02: add by m2/dev

Statistical theory MVQNECD4P5

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#VVVV, Statistical theory (definition)

History

2026-11-02: add by m2/dev

Peter Koellner MVQNXMMGGF

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

Mentions

wikipedia: Wikipedia Peter Koellner, Peter Koellner (topic). Also Wikidata Q7175253

History

2026-11-02: add by m2/dev

Uniqueness MVQPF0HX3K

URI	`m2://inv/MVQPF0HX3K`
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.17127#UV13, Uniqueness (statement). In NZJ5B5KSDQ/e1, lemma 1

History

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

Skew-Ricci identity for the Yano connection MVQRXE6BYR

URI	`m2://inv/MVQRXE6BYR`
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.00078#LX57, Skew-Ricci identity for the Yano connection (statement). In KXYGWSGP9M/e1, proposition 4.3

History

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

Average order of an arithmetic function MVQX4Z2TN0

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

Mentions

wikipedia: Wikipedia Average order of an arithmetic function, Average order of an arithmetic function (definition). Also Wikidata Q3355756

History

2026-11-02: add by m2/dev

MVQYM259XP MVQYM259XP

URI	`m2://inv/MVQYM259XP`
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.39269#GXA4 (statement). In HS4X20TX33/e1, theorem 0.33

History

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

extendible cardinal MVR13JW659

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

Mentions

wikipedia: Wikipedia Glossary of set theory#GRF9, extendible cardinal (definition)

History

2026-11-02: add by m2/dev

MVRFE0Q66Z MVRFE0Q66Z

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

Mentions

open_logic: open_logic content/set-theory/spine/stagesbasics.tex#Valphanotref (statement). In PKGMM3P5QY, lem, section 75.1

History

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

List of prime numbers MVRJVGYJX8

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

Mentions

wikipedia: Wikipedia List of mathematical examples#JXE9, List of prime numbers (topic)

History

2026-11-02: add by m2/dev

positive MVRJYV1ADV

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

Mentions

wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#6UAQ, positive (definition)

History

2026-11-02: add by m2/dev

MVRNWAZQA9 MVRNWAZQA9

URI	`m2://inv/MVRNWAZQA9`
Kind	statement
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#HNIK (statement)

History

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

Terminology MVRSCCGQXV

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

Mentions

wikipedia: Wikipedia Boundary (topology)#DAQV, Terminology (definition)

History

2026-11-02: add by m2/dev

Perturbed Robin Fourier integral MVRTSWHM19

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

Mentions

arxiv: arXiv 2610.14323#5O4W, Perturbed Robin Fourier integral (statement). In VAWEP32BEX/e1, lemma 10.2

History

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

Algorithms MVS2TBJJEM

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

Mentions

wikipedia: Wikipedia Media bias#312X, Algorithms (definition)

History

2026-11-02: add by m2/dev

Ailles rectangle MVS7FTX27Z

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

Mentions

wikipedia: Wikipedia Ailles rectangle, Ailles rectangle (definition). Also Wikidata Q25106218

History

2026-11-02: add by m2/dev

Regular embedded manifold class MVS8XSRFJ8

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

Mentions

arxiv: arXiv 2609.31458#UWT9, Regular embedded manifold class (definition). In SNWC76WKWT/e1, definition D.1

History

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

MVS9KW4Q6J MVS9KW4Q6J

URI	`m2://inv/MVS9KW4Q6J`
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.35683#V1YZ (definition). In A4S9A3X494/e1, definition 1

History

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

MVSA8TTP18 MVSA8TTP18

URI	`m2://inv/MVSA8TTP18`
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.03081#O8P2 (statement). In TX0H26X4VX/e1, theorem D

History

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

Adequality MVSB0XQCWD

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

Mentions

wikipedia: Wikipedia Adequality, Adequality (definition). Also Wikidata Q2825450

History

2026-11-02: add by m2/dev

Single-particle trajectory MVSJ0XB38H

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

Mentions

wikipedia: Wikipedia Single-particle trajectory, Single-particle trajectory (definition). Also Wikidata Q107657842

History

2026-11-02: add by m2/dev

topos theory MVSM4SDQ11

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

Mentions

wikipedia: Wikipedia Glossary of logic#A8FT, topos theory (definition)

History

2026-11-02: add by m2/dev

Generalizations MVSMSFSV13

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

Mentions

wikipedia: Wikipedia Modular decomposition#5LEN, Generalizations (statement)

History

2026-11-02: add by m2/dev

Wigner Matrix MVSN2ZV3NC

URI	`m2://inv/MVSN2ZV3NC`
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.24023#MU1I, Wigner Matrix (definition)

History

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

Deterministic extensive Hilbert--Schmidt upper bound MVT5RZCA64

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

Mentions

arxiv: arXiv 2610.16351#6XZK, Deterministic extensive Hilbert--Schmidt upper bound (statement). In 1QSV7EQE3T/e1, lemma S29

History

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

MVT7FXAG6N MVT7FXAG6N

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/duals.tex#prop:dualsys (statement). In PKGMM3P5QY, prop, section 50.3

History

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

quasiperiodic motion MVTC4K56M7

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

Mentions

wikidata: Wikidata Q3866307, quasiperiodic motion (unknown). Also MathWorld QuasiperiodicMotion
wikipedia: Wikipedia Quasiperiodic motion, Quasiperiodic motion (definition). Also Wikidata Q3866307

History

2026-10-26: add by m2/dev

Norair Arakelian MVTGQT1WVS

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

Mentions

wikipedia: Wikipedia Norair Arakelian, Norair Arakelian (topic). Also Wikidata Q4068462

History

2026-11-02: add by m2/dev

Polymer field theory MVTN80D8X5

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

Mentions

wikipedia: Wikipedia Polymer field theory, Polymer field theory (definition). Also Wikidata Q7226548

History

2026-11-02: add by m2/dev

MVTNT21T2V MVTNT21T2V

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

Mentions

arxiv: arXiv 2609.20128#5CVG (example)

History

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

MVTNZVYP05 MVTNZVYP05

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

Mentions

arxiv: arXiv 2610.05391#JKRV (statement). In 9B5TNEBJHV/e1, corollary 2.17

History

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

Book of the Depiction of the Earth MVTY9MMFQW

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

Mentions

wikipedia: Wikipedia Al-Khwarizmi#AKGT, Book of the Depiction of the Earth (unknown)

History

2026-11-02: add by m2/dev

Generalizations MVTYVNNV3H

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

Mentions

wikipedia: Wikipedia Tangent space#JZN7, Generalizations (statement)

History

2026-11-02: add by m2/dev

MVV5DP0361 MVV5DP0361

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

History

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

Examples MVV5J78BDZ

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

Mentions

wikipedia: Wikipedia Mellin transform#QXMM, Examples (example)

History

2026-11-02: add by m2/dev

MVV9AQHQT2 MVV9AQHQT2

URI	`m2://inv/MVV9AQHQT2`
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.02993#2LF3 (statement). In TJH58FRGEN/e1, theorem 1.2

History

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

MVVBD6P3CJ MVVBD6P3CJ

URI	`m2://inv/MVVBD6P3CJ`
Kind	conjecture
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.29432#1PVS (conjecture)

History

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

The Landau–Zener formula MVVJ0NQTP8

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

Mentions

wikipedia: Wikipedia Adiabatic theorem#TEAS, The Landau–Zener formula (statement)

History

2026-11-02: add by m2/dev

Transformation matrix MVVPXPPZVV

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

Mentions

wikipedia: Wikipedia Transformation matrix, Transformation matrix (definition). Also Wikidata Q1482183

History

2026-11-02: add by m2/dev

MVW25ZDH61 MVW25ZDH61

URI	`m2://inv/MVW25ZDH61`
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.32937#0MS0 (statement). In RB0SJRQP6X/e1, corollary 7.1

History

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

Andy Coulson MVW743SFJA

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

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#90IP, Andy Coulson (unknown)

History

2026-11-02: add by m2/dev

MVW7FFEJSE MVW7FFEJSE

URI	`m2://inv/MVW7FFEJSE`
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.09422#HKFK (statement). In MS7M2BJS9X/e1, corollary 7.14

History

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

Definition MVWAGH4B2G

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

Mentions

wikipedia: Wikipedia Hermite polynomials#F31G, Definition (definition)

History

2026-11-02: add by m2/dev

MVWCJCY1XD MVWCJCY1XD

URI	`m2://inv/MVWCJCY1XD`
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.14681#27EL (definition). In 459W0NBS5Q/e1, definition 1

History

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

De Franchis theorem MVWDVE2PZR

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

Mentions

wikipedia: Wikipedia List of theorems#MPHD, De Franchis theorem (statement)

History

2026-11-02: add by m2/dev

Lemma 1 MVWN1JP28V

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

Mentions

wikipedia: Wikipedia Transcendental number#N3OI, Lemma 1 (statement)

History

2026-11-02: add by m2/dev

Commutation theorem for traces MVWW2DQ6F3

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

Mentions

mathlib_1000: mathlib_1000 Q5155090, Commutation theorem (statement). Also Wikidata Q5155090
thousand_plus: thousand_plus Q5155090, Commutation theorem (statement). Also Wikidata Q5155090, Wikipedia Commutation theorem
wikipedia: Wikipedia Commutation theorem for traces, Commutation theorem for traces (statement). Also Wikidata Q5155090

History

2026-10-26: add by m2/dev

Carlos Alberto de Bragança Pereira MVWXYQSYNP

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

Mentions

wikipedia: Wikipedia Carlos Alberto de Bragança Pereira, Carlos Alberto de Bragança Pereira (topic). Also Wikidata Q102247404

History

2026-11-02: add by m2/dev

Transfer and necessity MVWZQWTW24

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

Mentions

arxiv: arXiv 2609.33469#9XFV, Transfer and necessity (statement). In TC5QA4AB4Z/e1, theorem 3.8

History

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

Impossible differential cryptanalysis MVX1317B00

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

Mentions

wikipedia: Wikipedia Impossible differential cryptanalysis, Impossible differential cryptanalysis (definition). Also Wikidata Q3005748

History

2026-11-02: add by m2/dev

Extensions MVX6N0VVPH

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

Mentions

wikipedia: Wikipedia Linear interpolation#HK2X, Extensions (statement)

History

2026-11-02: add by m2/dev

MVXF079TE3 MVXF079TE3

URI	`m2://inv/MVXF079TE3`
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 2609.36321#4IKR (statement). In 3KTZ6Z615H/e1, proposition 6.10

History

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

MVXRTCEJW1 MVXRTCEJW1

URI	`m2://inv/MVXRTCEJW1`
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 1002.0879#3OCB (statement). In M0SQY5EZN5/e1, lemma 4.6.8

History

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

Properties MVXYBNEHN0

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

Mentions

wikipedia: Wikipedia Menger sponge#7P19, Properties (statement)

History

2026-11-02: add by m2/dev

MVXYC5GQGD MVXYC5GQGD

URI	`m2://inv/MVXYC5GQGD`
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.21043#3R0Z (statement)

History

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

Walsenburg MVXYHBQEGQ

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

Mentions

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

History

2026-11-02: add by m2/dev

Casio ClassPad 300 MVXZ10ZWNT

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

Mentions

wikipedia: Wikipedia Casio ClassPad 300, Casio ClassPad 300 (definition). Also Wikidata Q494408

History

2026-11-02: add by m2/dev

Student's t-distribution MVY5ND1CZN

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

Mentions

wikipedia: Wikipedia List of statistics articles#9EIJ, Student's t-distribution (definition)
wikipedia: Wikipedia List of mathematical functions#B2SF, Student's t-distribution (definition)

History

2026-11-02: add by m2/dev

Quasi-linear fixed-accuracy windows MVY7J9W445

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

Mentions

arxiv: arXiv 2610.16351#ZNFH, Quasi-linear fixed-accuracy windows (statement). In 1QSV7EQE3T/e1, corollary S77

History

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

MVYQ8B8VNQ MVYQ8B8VNQ

URI	`m2://inv/MVYQ8B8VNQ`
Kind	definition
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 2110.06338#OOX3 (definition). In W1VVK7WDPK/e1, definition

History

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

Structural cut-off MVYQP2VT7T

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

Mentions

wikipedia: Wikipedia Structural cut-off, Structural cut-off (definition). Also Wikidata Q25303709

History

2026-11-02: add by m2/dev

Adele ring MVYRVJJJAK

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

Mentions

wikipedia: Wikipedia List of algebraic number theory topics#T4OH, Adele ring (definition)

History

2026-11-02: add by m2/dev

Uniqueness of the barycenter covariance and faithful-input cross-covariances MVYV62VM51

URI	`m2://inv/MVYV62VM51`
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.01855#B6AX, Uniqueness of the barycenter covariance and faithful-input cross-covariances (statement). In MM8P5CJR18/e1, proposition 5.16

History

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

MVYY366BKQ MVYY366BKQ

URI	`m2://inv/MVYY366BKQ`
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.08288#033I (statement). In CHVWYJM7RM/e1, lemma C.4

History

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

Algebraic geometry history MVYYHVFVH7

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

Mentions

wikipedia: Wikipedia Algebraic geometry#6Z88, Algebraic geometry history (unknown)

History

2026-11-02: add by m2/dev

MVZ8D8PSXJ MVZ8D8PSXJ

URI	`m2://inv/MVZ8D8PSXJ`
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.06556#BOUB (statement). In KW8C7VE9XR/e1, corollary 23

History

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

Examples MVZAS873K0

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

Mentions

wikipedia: Wikipedia Cofinality#GO2B, Examples (example)

History

2026-11-02: add by m2/dev

MVZPYXWWHN MVZPYXWWHN

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

Mentions

open_logic: open_logic content/incompleteness/introduction/undecidability.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 29.2

History

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