Inventory rows 67

6700K7YGDR 6700K7YGDR

URI	`m2://inv/6700K7YGDR`
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 2401.02768#I5H5 (statement). In QVAQC3D4M9/e1, lemma

History

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

Gibbs lemma 67048WFD90

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

Mentions

wikipedia: Wikipedia Gibbs lemma, Gibbs lemma (statement). Also Wikidata Q16928506

History

2026-11-02: add by m2/dev

6708V1BQ2W 6708V1BQ2W

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

Mentions

arxiv: arXiv 2610.21934#5TKP (statement). In YKD51BX3XB/e1, lemma 8.8

History

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

Joel Kamnitzer 670YQNXAY9

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#M21V, Joel Kamnitzer (unknown)

History

2026-11-02: add by m2/dev

P-adic distribution 670ZBQ6TW2

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

Mentions

wikipedia: Wikipedia P-adic distribution, P-adic distribution (definition). Also Wikidata Q7116915

History

2026-11-02: add by m2/dev

Statement 670ZJ23K70

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

Mentions

wikipedia: Wikipedia Egorov's theorem#KL60, Statement (statement)

History

2026-11-02: add by m2/dev

Soundness 6714NCPC3H

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

Mentions

open_logic: open_logic content/intuitionistic-logic/soundness-completeness/soundness-axd.tex#thm:soundness, Soundness (statement). In PKGMM3P5QY, thm, section 33.6

History

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

671ED4VEYX 671ED4VEYX

URI	`m2://inv/671ED4VEYX`
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.27715#AALE (statement)

History

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

671GHMSSEW 671GHMSSEW

URI	`m2://inv/671GHMSSEW`
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.36811#N4BU (statement). In ZQDX8E43SQ/e1, lemma 6.2

History

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

Recovery bounds the punctured nullity 671GV1371M

URI	`m2://inv/671GV1371M`
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.24568#V3F8, Recovery bounds the punctured nullity (statement)

History

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

671KGGBRJM 671KGGBRJM

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

Mentions

hott_book: hott_book hlevels.tex#ex:s2-colim-unit (exercise). In N54F33XE07, ex, section 6.7

History

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

Perl Data Language 6720EX2PWX

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

Mentions

wikipedia: Wikipedia List of numerical libraries#PKOK, Perl Data Language (unknown)

History

2026-11-02: add by m2/dev

Examples 67296YWAVW

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

Mentions

wikipedia: Wikipedia Graph toughness#7M9O, Examples (example)

History

2026-11-02: add by m2/dev

Carol Aneshensel 672DBC7H5H

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#4I8P, Carol Aneshensel (unknown)

History

2026-11-02: add by m2/dev

John P. Burgess 672DSZ2DXY

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

Mentions

wikipedia: Wikipedia John P. Burgess, John P. Burgess (topic). Also Wikidata Q6251515

History

2026-11-02: add by m2/dev

The (1,1)-term of the 3 X 3 matrix M^n, where M = [1,2,3 / 4,7,11 / 6,10,16]. 672JHA245R

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

Mentions

wikidata: Wikidata Q100194176, The (1,1)-term of the 3 X 3 matrix M^n, where M = [1,2,3 / 4,7,11 / 6,10,16]. (object). Also OEIS A095898

History

2026-10-26: add by m2/dev

672K4XGBRM 672K4XGBRM

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

Mentions

arxiv: arXiv 2610.12484#2616 (statement). In GW23NX78SB/e1, lemma 4.28

History

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

672KERN4BX 672KERN4BX

URI	`m2://inv/672KERN4BX`
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 2510.07095#S8QB (statement). In J9GHVHV5RB/e1, corollary 5

History

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

672MDCTVZ0 672MDCTVZ0

URI	`m2://inv/672MDCTVZ0`
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.25100#2MBP (statement)

History

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

672RDWXPYD 672RDWXPYD

URI	`m2://inv/672RDWXPYD`
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.24593#UD9G (statement)

History

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

Examples 672RRD0Q7E

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

Mentions

wikipedia: Wikipedia Computably inseparable#8BHI, Examples (example)

History

2026-11-02: add by m2/dev

672VHK8AQF 672VHK8AQF

URI	`m2://inv/672VHK8AQF`
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.38772#9CQU (statement). In 1C3R5NAQAP/e1, lemma 4.6

History

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

Cheah--de Saint Germain lemma for pairs 6731J86CSE

URI	`m2://inv/6731J86CSE`
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.31537#WJQM, Cheah--de Saint Germain lemma for pairs (statement). In MNYPK3W135/e1, lemma 3.3

History

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

6732ABN33J 6732ABN33J

URI	`m2://inv/6732ABN33J`
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.21752#GCZN (statement). In E4DJTPKHAX/e1, proposition 4.7

History

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

Modal metaphysics 6732BH1TE6

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

Mentions

wikipedia: Wikipedia Modal metaphysics, Modal metaphysics (topic). Also Wikidata Q48996604

History

2026-11-02: add by m2/dev

6735Q0YY5E 6735Q0YY5E

URI	`m2://inv/6735Q0YY5E`
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 2604.23212#DS7Z (statement). In 4X12V9RS0D/e1, lemma G.7

History

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

67360KMCHP 67360KMCHP

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

Mentions

arxiv: arXiv 2609.33578#TEYD (statement). In 3XTDDKY6YE/e1, lemma 5.4

History

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

67370W4ZV6 67370W4ZV6

URI	`m2://inv/67370W4ZV6`
Kind	example
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 2112.14455#NHJR (example). In VDE5R8HBS1/e1, example 3.1

History

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

Fujita conjecture 673JNAGQAM

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

Mentions

wikipedia: Wikipedia Fujita conjecture, Fujita conjecture (conjecture). Also Wikidata Q5507488

History

2026-11-02: add by m2/dev

673MFWY0B6 673MFWY0B6

URI	`m2://inv/673MFWY0B6`
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 2211.14629#24OC (statement). In AX7TZJ5PP9/e1, lemma 2

History

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

Definition 673Q6N9XD6

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

Mentions

wikipedia: Wikipedia Jensen–Shannon divergence#LLWZ, Definition (definition)

History

2026-11-02: add by m2/dev

Deleted neighborhood 673SV9JGHP

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

Mentions

wikipedia: Wikipedia Neighbourhood (mathematics)#SKLA, Deleted neighborhood (unknown)

History

2026-11-02: add by m2/dev

constant morphism 6741JWT84Y

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

Mentions

wikidata: Wikidata Q91435439, constant morphism (unknown). Also nLab constant morphism

History

2026-10-26: add by m2/dev

6744K3QG5E 6744K3QG5E

URI	`m2://inv/6744K3QG5E`
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.06669#TR0A (statement). In YXD3950ZXR/e1, lemma 3.1

History

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

67462C7GKA 67462C7GKA

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

Mentions

arxiv: arXiv 2610.21507#09NO (statement). In 879ZDHVK7N/e1, lemma 4.3

History

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

Simple examples 67491ARKCM

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

Mentions

wikipedia: Wikipedia Real tree#9SDS, Simple examples (example)

History

2026-11-02: add by m2/dev

674CAFQR8Z 674CAFQR8Z

URI	`m2://inv/674CAFQR8Z`
Kind	example
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#5NT3 (example). In HMWJQY9NAP/e1, example 5

History

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

674EWDFXQ7 674EWDFXQ7

URI	`m2://inv/674EWDFXQ7`
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 2410.18564#NFHI (statement). In MC8ZBZ14PM/e1, theorem 6.3

History

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

674FHF1VSM 674FHF1VSM

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

Mentions

hott_book: hott_book hits.tex#proof-6 (proof). In N54F33XE07, proof, section 5.4

History

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

Jacobson radical 674GZ5N4AE

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#B721, Jacobson radical (definition)

History

2026-11-02: add by m2/dev

Conilpotent planar dg cooperad 674M6Q5BA5

URI	`m2://inv/674M6Q5BA5`
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 2312.05005#2J0G, Conilpotent planar dg cooperad (definition). In SMJMAQ2S3J/e1, definition 6

History

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

674RSDZM8A 674RSDZM8A

URI	`m2://inv/674RSDZM8A`
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 2508.13122#ZOUC (statement). In PX2GWH86PN/e1, lemma 3

History

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

BST 674S150CNE

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

Mentions

wikipedia: Wikipedia Glossary of set theory#WGFO, BST (definition)

History

2026-11-02: add by m2/dev

image of a rational map on an open set (cf. 675013T88H

URI	`m2://inv/675013T88H`
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.08610#VEPV, image of a rational map on an open set (cf. (statement). In CB2JWNS1E9/e1, fact 6.8

History

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

6750PEYZ36 6750PEYZ36

URI	`m2://inv/6750PEYZ36`
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.06544#5BL0 (statement). In VCRB27RMN6/e1, lemma 18.1

History

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

675BVPFHRB 675BVPFHRB

URI	`m2://inv/675BVPFHRB`
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.14616#KFVM (statement). In 17ACAG0N9C/e1, theorem 7.2

History

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

Clausius–Duhem inequality 675C19HDD2

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

Mentions

wikipedia: Wikipedia Continuum mechanics#V9XO, Clausius–Duhem inequality (statement)

History

2026-11-02: add by m2/dev

Equation for the horizontal derivatives 675CSTVWHM

URI	`m2://inv/675CSTVWHM`
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.32829#6I12, Equation for the horizontal derivatives (statement). In RYWAX33Z51/e1, lemma 8.5

History

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

675EQZFNP7 675EQZFNP7

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 8.7

History

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

Heptachotomy 675HT8ZS3Q

URI	`m2://inv/675HT8ZS3Q`
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.12908#YGCY, Heptachotomy (statement). In TNC658NVMQ/e1, fact 4.2

History

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

Bayesian risk asymptotics for WSS 675QC8VV98

URI	`m2://inv/675QC8VV98`
Kind	statement
Layer	research
MSC	62-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.29348#G8ZO, Bayesian risk asymptotics for WSS (statement)

History

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

675YJK8YMP 675YJK8YMP

URI	`m2://inv/675YJK8YMP`
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 2506.16491#VNIZ (definition). In P9J6P06Y40/e1, definition 4.20

History

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

The Art of Computer Programming 67600TCQMF

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

Mentions

wikidata: Wikidata Q82438, The Art of Computer Programming (unknown). Also ProofWiki Book:Donald_E._Knuth/The_Art_of_Computer_Programming

History

2026-10-26: add by m2/dev

Descending set / discrete unstable manifold 67620TSXP8

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

Mentions

arxiv: arXiv 2610.01937#2H3Z, Descending set / discrete unstable manifold (definition). In BAEDMM7YM5/e1, definition 18

History

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

Gaudin model 6763DF8FS3

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

Mentions

wikipedia: Wikipedia Gaudin model, Gaudin model (definition). Also Wikidata Q114585938

History

2026-11-02: add by m2/dev

Force-free magnetic field 6764RSEDPX

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

Mentions

wikipedia: Wikipedia Force-free magnetic field, Force-free magnetic field (definition). Also Wikidata Q5467414

History

2026-11-02: add by m2/dev

Gordon, Nancy 676V219RQ8

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

Mentions

wikipedia: Wikipedia List of statisticians#7OMG, Gordon, Nancy (topic)

History

2026-11-02: add by m2/dev

Cut admissibility 676ZAJFBZM

URI	`m2://inv/676ZAJFBZM`
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.08323#EW6K, Cut admissibility (statement). In FR51ART4NF/e1, theorem 2

History

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

butterfly effect 6772D2ZTBJ

URI	`m2://inv/6772D2ZTBJ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Butterfly effect G0ZT1SDQGS

Mentions

wikidata: Wikidata Q187536, butterfly effect (unknown). Also MathWorld ButterflyEffect
wikipedia: Wikipedia Butterfly effect, Butterfly effect (definition). Also Wikidata Q187536

History

2026-10-26: add by m2/dev

6774DZBJS7 6774DZBJS7

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

Mentions

arxiv: arXiv 2507.20176#RN4A (statement). In CX4WDA2KAR/e1, lemma 3.3

History

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

well-ordering theorem 67781NWDPD

URI	`m2://inv/67781NWDPD`
Kind	statement
Layer	textbook
MSC	03-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Well-ordering theorem 0N109NG5ZX

Mentions

mathlib_1000: mathlib_1000 Q1457052, Well-ordering theorem (statement). Also Mathlib exists_wellFoundedLT, Wikidata Q1457052
thousand_plus: thousand_plus Q1457052, Well-ordering theorem (statement). Also Mathlib exists_wellFoundedLT, Wikidata Q1457052, Wikipedia Well-ordering theorem
wikidata: Wikidata Q1457052, well-ordering theorem (statement). Also nLab well-ordering theorem, ProofWiki Zermelo's_Well-Ordering_Theorem
wikipedia: Wikipedia Well-ordering theorem, Well-ordering theorem (statement). Also Wikidata Q1457052

History

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

FLAME clustering 6779PZ5DZM

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

Mentions

wikipedia: Wikipedia FLAME clustering, FLAME clustering (definition). Also Wikidata Q5426511

History

2026-11-02: add by m2/dev

Definition 677FJ8A6VJ

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

Mentions

wikipedia: Wikipedia Fractional Fourier transform#EHKE, Definition (definition)

History

2026-11-02: add by m2/dev

677GDYJANX 677GDYJANX

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

Mentions

arxiv: arXiv 2610.10248#19OY (statement). In TMV74X2725/e1, proposition 5.4

History

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

677J8XT225 677J8XT225

URI	`m2://inv/677J8XT225`
Kind	statement
Layer	research
MSC	30-XX, 32-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.10505#UKDI (statement). In JW8HH6EPG2/e1, lemma 3.29

History

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

Hensel's lemma for p-adic numbers 677M3F6SHE

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

Mentions

wikipedia: Wikipedia Hensel's lemma#BVZ7, Hensel's lemma for p-adic numbers (statement)

History

2026-11-02: add by m2/dev

Jonathan Wise 677NFJA8RD

URI	`m2://inv/677NFJA8RD`
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 Q60058118, Jonathan Wise (unknown). Also nLab Jonathan Wise

History

2026-10-26: add by m2/dev

677NPA1X5A 677NPA1X5A

URI	`m2://inv/677NPA1X5A`
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.20187#CXZB (statement). In N280AVNNBY/e1, corollary B.17

History

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

677ZWG9EB1 677ZWG9EB1

URI	`m2://inv/677ZWG9EB1`
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#DY32 (statement). In BDN507RN7J/e1, proposition 3.7.3

History

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

6782PXD1FR 6782PXD1FR

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

Mentions

arxiv: arXiv 2609.36423#OYRQ (definition). In Q5Z178SAHP/e1, definition 4.4

History

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

Paradox of the name relationship 6786F2FPMT

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

Mentions

wikipedia: Wikipedia Frege–Church ontology#Q0NG, Paradox of the name relationship (statement)

History

2026-11-02: add by m2/dev

678TW7XMER 678TW7XMER

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

Mentions

hott_book: hott_book logic.tex#thm:isprop-iscontr (statement). In N54F33XE07, lem, section 9.11

History

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

6798TNA9PZ 6798TNA9PZ

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

Mentions

arxiv: arXiv 2609.31276#HR1D (definition). In WYDHWYFRFK/e1, definition 2.3

History

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

679F6ZGG3A 679F6ZGG3A

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

Mentions

wikipedia: Wikipedia Covering system#GZ75 (problem)

History

2026-11-02: add by m2/dev

limit 679XNMVTVQ

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

Mentions

wikipedia: Wikipedia Glossary of category theory#XGIC, limit (definition)

History

2026-11-02: add by m2/dev

Liouville function 679XPTF584

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

Mentions

wikipedia: Wikipedia List of mathematical functions#3H60, Liouville function (definition)

History

2026-11-02: add by m2/dev

67AF29WRWK 67AF29WRWK

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

Mentions

wikipedia: Wikipedia Reversible cellular automaton#RH3S (problem)

History

2026-11-02: add by m2/dev

67AFN590EC 67AFN590EC

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

Mentions

austin_ula: austin_ula src/exercises/exercises1-2.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 1.2

History

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

global reduction 67AH9FHCJK

URI	`m2://inv/67AH9FHCJK`
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.22667#E9WY, global reduction (statement)

History

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

The Sun 67ASKT91K5

URI	`m2://inv/67ASKT91K5`
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#M496, The Sun (unknown)

History

2026-11-02: add by m2/dev

Applications 67AZZ7KTDS

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

Mentions

wikipedia: Wikipedia Ancestral graph#TWIE, Applications (example)

History

2026-11-02: add by m2/dev

67B9VMV28T 67B9VMV28T

URI	`m2://inv/67B9VMV28T`
Kind	definition
Layer	research
MSC	03-XX, 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.31445#HSN7 (definition). In 7V2PVZS04C/e1, definition 5.10

History

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

67BBRJP71K 67BBRJP71K

URI	`m2://inv/67BBRJP71K`
Kind	definition
Layer	research
MSC	18-XX, 55-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.03865#M6LH (definition). In G3D1YR20BJ/e1, definition

History

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

67BMWW234Z 67BMWW234Z

URI	`m2://inv/67BMWW234Z`
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.05194#G11N (statement). In 77R8YQ16JH/e1, theorem 3.1

History

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

Kyiv International Institute of Sociology 67BPVSG11D

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

Mentions

wikipedia: Wikipedia List of polling organizations#IKGR, Kyiv International Institute of Sociology (unknown)

History

2026-11-02: add by m2/dev

67BQPWWWZ3 67BQPWWWZ3

URI	`m2://inv/67BQPWWWZ3`
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 2508.17135#T72R (statement). In 74MXJ2RX4B/e1, theorem 4.6

History

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

67BTBQA63G 67BTBQA63G

URI	`m2://inv/67BTBQA63G`
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.05442#F4JK (statement). In WEPE51JCHZ/e1, theorem 6.3

History

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

Aryeh Dvoretzky 67BV05BGDQ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#WNAR, Aryeh Dvoretzky (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#F2U6, Aryeh Dvoretzky (topic)

History

2026-11-02: add by m2/dev

67CA2THDD3 67CA2THDD3

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

Mentions

arxiv: arXiv 2609.20097#E6JN (statement)

History

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

Archimedes' use of infinitesimals 67CAYH2Y3N

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

Mentions

wikipedia: Wikipedia List of calculus topics#QN93, Archimedes' use of infinitesimals (statement)
wikipedia: Wikipedia List of mathematics history topics#KC7A, Archimedes' use of infinitesimals (statement)

History

2026-11-02: add by m2/dev

Alfred Horn 67CGN7SW6R

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#HINQ, Alfred Horn (topic)

History

2026-11-02: add by m2/dev

67CNJWTK87 67CNJWTK87

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

Mentions

arxiv: arXiv 2609.33124#4OMZ (definition). In P27HYGQDAN/e1, definition 16

History

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

Two-fibered pseudo-cubes and their monodromy 67CNN9A1ZR

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

Mentions

arxiv: arXiv 2610.18154#1KGW, Two-fibered pseudo-cubes and their monodromy (definition). In 4W7ARR1DAR/e1, definition 8.1

History

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

Conservation laws 67CS62GYYJ

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

Mentions

wikipedia: Wikipedia Aerodynamics#B6WR, Conservation laws (statement)

History

2026-11-02: add by m2/dev

Two-timescale SA with ODE limit 67CVWD3RZQ

URI	`m2://inv/67CVWD3RZQ`
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.27741#9ZL0, Two-timescale SA with ODE limit (statement)

History

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

Ouroboros 67DBZ651ND

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

Mentions

wikipedia: Wikipedia Ouroboros (protocol), Ouroboros (definition). Also Wikidata Q104848356

History

2026-11-02: add by m2/dev

John Hopcroft 67DEXQ7GA1

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#1F4X, John Hopcroft (unknown)

History

2026-11-02: add by m2/dev

67DK0NS963 67DK0NS963

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

Mentions

arxiv: arXiv 2610.08052#6LMY (statement). In 672XAVEQ34/e1, lemma 5.9

History

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

67E5F7HVK2 67E5F7HVK2

URI	`m2://inv/67E5F7HVK2`
Kind	definition
Layer	research
MSC	55-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 2303.09207#ONAZ (definition). In 9DQKY7KGE8/e1, definition 6.1

History

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

stability by derivation 67EB82JMZW

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

Mentions

mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{D}(\R^d)$ > stability by derivation, stability by derivation (unknown)

History

2026-10-26: add by m2/dev

67EEBXDG30 67EEBXDG30

URI	`m2://inv/67EEBXDG30`
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.21092#UFEU (statement). In AGJE43FTF8/e1, corollary 8.7

History

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

67EF1RZ4DB 67EF1RZ4DB

URI	`m2://inv/67EF1RZ4DB`
Kind	statement
Layer	research
MSC	03-XX, 16-XX, 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.03601#RE8Y (statement). In F7TDYCHCSE/e1, proposition 7.5

History

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

Euclidean closure 67EG3QVCBB

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

Mentions

wikipedia: Wikipedia Euclidean ordered field#8QEL, Euclidean closure (unknown)

History

2026-11-02: add by m2/dev

Werner Wolfgang Rogosinski 67EKAP54Y9

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

Mentions

wikipedia: Wikipedia List of German mathematicians#2AIZ, Werner Wolfgang Rogosinski (topic)

History

2026-11-02: add by m2/dev

67EQ1AHCV8 67EQ1AHCV8

URI	`m2://inv/67EQ1AHCV8`
Kind	problem
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.14085#860B (problem). In T8F19ZGHF3/e1, problem 1.1

History

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

The full gradient and gap estimate 67ESE13ECF

URI	`m2://inv/67ESE13ECF`
Kind	statement
Layer	research
MSC	14-XX, 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 2610.18788#Z19E, The full gradient and gap estimate (statement). In KFEASG3ZHS/e1, theorem 5.9

History

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

67EY74A5TK 67EY74A5TK

URI	`m2://inv/67EY74A5TK`
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.05499#4HTA (statement). In CQMD3382D6/e1, lemma 9

History

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

Compound of five uniform great rhombicuboctahedra 67F7QADZVZ

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#Y9Q3, Compound of five uniform great rhombicuboctahedra (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#IWLX, Compound of five uniform great rhombicuboctahedra (definition)

History

2026-11-02: add by m2/dev

67FHT5PFG7 67FHT5PFG7

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

Mentions

arxiv: arXiv 2610.10804#G09J (definition). In 6M5WR7KB80/e1, definition 2.1

History

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

67FQJSQH4J 67FQJSQH4J

URI	`m2://inv/67FQJSQH4J`
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.23258#PNVF (statement)

History

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

mice problem 67FR86A4BK

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

Mentions

wikidata: Wikidata Q3922302, mice problem (problem). Also MathWorld MiceProblem
wikipedia: Wikipedia Mice problem, Mice problem (problem). Also Wikidata Q3922302

History

2026-10-26: add by m2/dev

67FT1CHHKC 67FT1CHHKC

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

Mentions

arxiv: arXiv 2610.11545#MQS1 (statement). In VN084GGZGK/e1, proposition 4.25

History

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

67FTWKMDS0 67FTWKMDS0

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

Mentions

napkin: napkin tex/measure/swapsum.tex#proof-2 (proof). In RZP28ERRZV, proof, section 70.4

History

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

vercosine 67FVXFZ67Q

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

Mentions

wikidata: Wikidata Q41173555, vercosine (unknown). Also MathWorld Vercosine

History

2026-10-26: add by m2/dev

Hirotugu Akaike 67FXD7CDCM

URI	`m2://inv/67FXD7CDCM`
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#5R07, Hirotugu Akaike (unknown)

History

2026-11-02: add by m2/dev

67FXXNWK6A 67FXXNWK6A

URI	`m2://inv/67FXXNWK6A`
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 2502.16151#GL7C (statement). In CFCTBV1Z93/e1, proposition 3.1

History

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

Core of Balanced Games 67G1AM9J4Q

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

Mentions

wikipedia: Wikipedia List of PPAD-complete problems#WB6M, Core of Balanced Games (definition)

History

2026-11-02: add by m2/dev

67G1TCRFYD 67G1TCRFYD

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

Mentions

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

History

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

67G3A4S75D 67G3A4S75D

URI	`m2://inv/67G3A4S75D`
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#RWD2 (statement). In E7W2HDNEKJ/e1, theorem 6.33

History

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

Sketch of Proof 67G7X98W4D

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

Mentions

napkin: napkin tex/alg-NT/frobenius.tex#proof-6, Sketch of Proof (proof). In RZP28ERRZV, proof, section 13.7

History

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

67G9DDF8WX 67G9DDF8WX

URI	`m2://inv/67G9DDF8WX`
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 2208.06310#ZH6W (statement). In 9YR0E0T9XA/e1, lemma 5.4

History

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

67GDYR4AJK 67GDYR4AJK

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#proof-31 (proof). In E59CDZA4DP, proof, section 10.6.1

History

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

George Herbert Weiss 67GE4JX322

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

Mentions

wikipedia: Wikipedia George Herbert Weiss, George Herbert Weiss (topic). Also Wikidata Q18012463

History

2026-11-02: add by m2/dev

n-connected 67GEFNTR5M

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#8DMW, n-connected (definition)

History

2026-11-02: add by m2/dev

One Horse Store, Arkansas 67GEV7BP76

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

Mentions

wikipedia: Wikipedia List of places with numeric names#YZOI, One Horse Store, Arkansas (unknown)

History

2026-11-02: add by m2/dev

Logic of information 67GJKGGKVR

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

Mentions

wikipedia: Wikipedia Logic of information, Logic of information (definition). Also Wikidata Q6667468

History

2026-11-02: add by m2/dev

67GM89WTVN 67GM89WTVN

URI	`m2://inv/67GM89WTVN`
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.22825#ICCR (statement)

History

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

67GPRT2BS9 67GPRT2BS9

URI	`m2://inv/67GPRT2BS9`
Kind	statement
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#MDPH (statement). In DQ6P0P6N78/e1, corollary 1.5

History

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

67GZD3RDHF 67GZD3RDHF

URI	`m2://inv/67GZD3RDHF`
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.13030#1LVS (example). In 6NZ0YS5MJ7/e1, example III.3

History

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

Ib Madsen 67H5JXTQJJ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#V66P, Ib Madsen (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZEG3, Ib Madsen (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZWT8, Ib Madsen (topic)

History

2026-11-02: add by m2/dev

Companion convolution 67H9K6FPY3

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

Mentions

arxiv: arXiv 2609.29147#Y03I, Companion convolution (statement)

History

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

Moving the goalposts 67H9TYNAHP

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

Mentions

wikipedia: Wikipedia List of fallacies#EMVM, Moving the goalposts (definition)

History

2026-11-02: add by m2/dev

Properties 67HBMSMVQA

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

Mentions

wikipedia: Wikipedia Prism (geometry)#E1N0, Properties (statement)

History

2026-11-02: add by m2/dev

67HPZVXHSV 67HPZVXHSV

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

Mentions

arxiv: arXiv 2609.25275#Q0VQ (statement)

History

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

Invex function 67HV3WZKX0

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

Mentions

wikipedia: Wikipedia Invex function, Invex function (definition). Also Wikidata Q6060952

History

2026-11-02: add by m2/dev

67HXF7733H 67HXF7733H

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

Mentions

napkin: napkin tex/H113/ring-intro.tex#definition-8 (definition). In RZP28ERRZV, definition, section 5.7

History

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

Equation of time 67JC523ZBN

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

Mentions

wikipedia: Wikipedia Equation of time, Equation of time (definition). Also Wikidata Q186058

History

2026-11-02: add by m2/dev

67JER5HPK4 67JER5HPK4

URI	`m2://inv/67JER5HPK4`
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 2402.05268#S565 (statement). In MQZC12P7SA/e1, theorem 1.1

History

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

67JFHCVN5M 67JFHCVN5M

URI	`m2://inv/67JFHCVN5M`
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 2406.01499#SJ3J (definition). In B32K3KBEKC/e1, definition 2.2

History

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

67JKKWPPM6 67JKKWPPM6

URI	`m2://inv/67JKKWPPM6`
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 1601.02354#R7F3 (statement). In 3YSZKHNCRA/e1, lemma 3

History

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

67JQD4Q9ZW 67JQD4Q9ZW

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

Mentions

arxiv: arXiv 2610.18544#SFE8 (statement). In HT5MC1SPD9/e1, lemma 2.3

History

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

Yorick Wilks 67JSG4N77A

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#DJXU, Yorick Wilks (unknown)

History

2026-11-02: add by m2/dev

CA-group 67JTQT0XDE

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

Mentions

wikipedia: Wikipedia CA-group, CA-group (definition). Also Wikidata Q5008459

History

2026-11-02: add by m2/dev

67K1NN8TV4 67K1NN8TV4

URI	`m2://inv/67K1NN8TV4`
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.18346#8E5S (statement). In QVPNGHTMEX/e1, theorem 4.2

History

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

67KBNH63GF 67KBNH63GF

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

Mentions

arxiv: arXiv 2609.24917#N8L0 (statement)

History

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

67KFJFQ32D 67KFJFQ32D

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

Mentions

arxiv: arXiv 2610.19333#UJMP (statement). In 5Y3HF693YB/e1, proposition 5.1

History

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

67KGWR581H 67KGWR581H

URI	`m2://inv/67KGWR581H`
Kind	statement
Layer	research
MSC	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 2610.04730#KISA (statement). In QHFP0837Q8/e1, lemma 3.3

History

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

67KJT989D3 67KJT989D3

URI	`m2://inv/67KJT989D3`
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 2007.14459#FZ7F (definition). In SGQ7VFEZ22/e1, definition 2.8

History

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

God does not play dice 67KKH6Z1EE

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

Mentions

wikipedia: Wikipedia Hidden-variable theory#0JUD, God does not play dice (unknown)

History

2026-11-02: add by m2/dev

Wang--Wang--Yu 67KZH2EY9P

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

Mentions

arxiv: arXiv 2609.30315#C0VB, Wang--Wang--Yu (statement). In FXTCVHYW5S/e1, lemma 5.8

History

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

Markov kernel 67KZPMHGXR

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

Mentions

wikipedia: Wikipedia Markov kernel, Markov kernel (definition). Also Wikidata Q6771323

History

2026-11-02: add by m2/dev

67M0TXGR5F 67M0TXGR5F

URI	`m2://inv/67M0TXGR5F`
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 2610.07897#L9A2 (example). In 1MWYGMR6TJ/e1, example 2.2

History

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

67M4BF414A 67M4BF414A

URI	`m2://inv/67M4BF414A`
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#7C0G (statement). In 9WFSTGMQ4E/e1, theorem 1.8

History

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

Randomized lower bound for $d=1$ 67M6MDCF01

URI	`m2://inv/67M6MDCF01`
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.16715#FK2C, Randomized lower bound for $d=1$ (statement). In RA1Z6BV25A/e1, lemma 5.4

History

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

Trakhtenbrot's Theorem 67MFW12TPG

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

Mentions

open_logic: open_logic content/turing-machines/undecidability/trakhtenbrot.tex#thm:trakhtenbrodt, Trakhtenbrot's Theorem (statement). In PKGMM3P5QY, thm, section 86.10

History

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

List of algebras 67MH308MZA

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

Mentions

wikipedia: Wikipedia List of theorems#RPTB, List of algebras (topic)

History

2026-11-02: add by m2/dev

Cheap control 67MST3ZNZ0

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

Mentions

arxiv: arXiv 2609.26572#7BR5, Cheap control (definition)

History

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

67MV2HBXG0 67MV2HBXG0

URI	`m2://inv/67MV2HBXG0`
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.37337#M3EC (statement). In 813JGZV08G/e1, theorem 5.3

History

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

67N2WE1E09 67N2WE1E09

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

Mentions

arxiv: arXiv 2609.25307#UA7W (statement)

History

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

Singular curve 67NGGJFFFM

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

Mentions

wikipedia: Wikipedia Singularity theory#NQM5, Singular curve (unknown)

History

2026-11-02: add by m2/dev

Township 5, Harper County, Kansas 67NHV2K7FC

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

Mentions

wikipedia: Wikipedia List of places with numeric names#BPGC, Township 5, Harper County, Kansas (unknown)

History

2026-11-02: add by m2/dev

67NJBEMFDT 67NJBEMFDT

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

Mentions

arxiv: arXiv 2609.35574#KSM2 (statement). In 3Q70DMD7Z7/e1, theorem A.1

History

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

Intrinsic multiplicative Stokes trace 67NJZSJWHM

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

Mentions

arxiv: arXiv 2609.27799#4ASZ, Intrinsic multiplicative Stokes trace (conjecture)

History

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

Ronald de Wolf 67NNBYZ3PA

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#1PR9, Ronald de Wolf (unknown)

History

2026-11-02: add by m2/dev

Examples 67NYN8AP9N

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

Mentions

wikipedia: Wikipedia Equivariant algebraic K-theory#Z50E, Examples (example)

History

2026-11-02: add by m2/dev

67P8TV1Q8Z 67P8TV1Q8Z

URI	`m2://inv/67P8TV1Q8Z`
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.23941#COWE (statement)

History

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

67P9MV0G9H 67P9MV0G9H

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

Mentions

arxiv: arXiv 2610.17411#BG22 (statement). In 73QW05MWQB/e1, lemma 4.4

History

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

Great dodecahemidodecahedron 67PASF5R82

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#HYCQ, Great dodecahemidodecahedron (object)

History

2026-11-02: add by m2/dev

67PB840Q26 67PB840Q26

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

Mentions

arxiv: arXiv 2610.19360#TUI6 (statement). In MFCW5CY96C/e1, lemma 34

History

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

Lifting paths 67PC11XTD2

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

Mentions

napkin: napkin tex/topology/cover-project.tex#theorem-1, Lifting paths (statement). In RZP28ERRZV, theorem, section 97.2

History

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

67PDR7AP81 67PDR7AP81

URI	`m2://inv/67PDR7AP81`
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#5BXG (statement)

History

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

67PDT2H03K 67PDT2H03K

URI	`m2://inv/67PDT2H03K`
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#8P6Q (statement). In ZA6XNBA90V/e1, proposition 1.28

History

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

67PDVZGDZG 67PDVZGDZG

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

Mentions

arxiv: arXiv 2311.16252#HCEK (definition). In 8AHN9GSRMR/e1, definition 2.6

History

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

67PF10B8M8 67PF10B8M8

URI	`m2://inv/67PF10B8M8`
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.22170#YTEH (statement). In 74MMMHHPW5/e1, theorem 1.1

History

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

67PXDHDH8X 67PXDHDH8X

URI	`m2://inv/67PXDHDH8X`
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.07927#GLOL (definition). In GKM19DHQTM/e1, definition 6.29

History

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

67QE3WC0JH 67QE3WC0JH

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

Mentions

arxiv: arXiv 2610.09390#QJYB (statement). In 7SSKW778T8/e1, proposition 3.1

History

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

Semidefinite programming 67QK6NZAE5

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

Mentions

wikipedia: Wikipedia Semidefinite programming, Semidefinite programming (topic). Also Wikidata Q2269096

History

2026-11-02: add by m2/dev

67QK72F7VZ 67QK72F7VZ

URI	`m2://inv/67QK72F7VZ`
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 1512.06981#QC6Q (statement). In X923ZEY423/e1, lemma 1.6.4

History

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

67QKE5B2WS 67QKE5B2WS

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

Mentions

arxiv: arXiv 2609.35030#J63X (statement). In DPT4P2BTEW/e1, proposition 5.8

History

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

Singular Gaussian integral in three dimensions 67QKGMJH2W

URI	`m2://inv/67QKGMJH2W`
Kind	statement
Layer	research
MSC	11-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.28282#RP0N, Singular Gaussian integral in three dimensions (statement)

History

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

67QP4YZ2MR 67QP4YZ2MR

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

Mentions

arxiv: arXiv 2610.05784#FD8K (statement). In 6NVP3YRWVA/e1, lemma 5.6

History

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

William Pitt Durfee 67QQWDZ3SC

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

Mentions

wikipedia: Wikipedia William Pitt Durfee, William Pitt Durfee (topic). Also Wikidata Q8016938

History

2026-11-02: add by m2/dev

Hausdorff dimension 67QSVTZKCA

URI	`m2://inv/67QSVTZKCA`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Hausdorff dimension SSNFTHZ6YJ

Mentions

wikidata: Wikidata Q565186, Hausdorff dimension (unknown). Also MathWorld CapacityDimension, nLab Hausdorff dimension
wikipedia: Wikipedia Hausdorff dimension, Hausdorff dimension (definition). Also Wikidata Q565186

History

2026-10-26: add by m2/dev

Neural networks 67R8PSF99N

URI	`m2://inv/67R8PSF99N`
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 2610.02663#YICS, Neural networks (definition). In PGAZ70WGMG/e1, definition 2

History

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

67RGVNZAKG 67RGVNZAKG

URI	`m2://inv/67RGVNZAKG`
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.22345#UY20 (statement). In 7JATJ4VG9G/e1, proposition 4.1

History

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

67RM8Z2ZWX 67RM8Z2ZWX

URI	`m2://inv/67RM8Z2ZWX`
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.10927#U1S7 (statement). In DHEJP3YATV/e1, proposition 10

History

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

Military problem solving 67RQVAMX6J

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

Mentions

wikipedia: Wikipedia Problem solving#SBMX, Military problem solving (unknown)

History

2026-11-02: add by m2/dev

Demographic statistics 67RSHZ70VW

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

Mentions

wikipedia: Wikipedia Demographic statistics, Demographic statistics (definition). Also Wikidata Q1965979

History

2026-11-02: add by m2/dev

67RVW5SN3N 67RVW5SN3N

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

Mentions

arxiv: arXiv 2609.30579#T3XE (definition). In FDYZFDHZH9/e1, definition 4.10

History

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

67S2E63DD9 67S2E63DD9

URI	`m2://inv/67S2E63DD9`
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 2407.12231#IGHT (statement). In W44N3VEC6H/e1, theorem 5

History

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

67SFAVMX1M 67SFAVMX1M

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

Mentions

arxiv: arXiv 2610.00076#EW2M (statement). In 2VQ90WEZKB/e1, lemma 8.2

History

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

67SGY16N9S 67SGY16N9S

URI	`m2://inv/67SGY16N9S`
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#UTG5 (statement). In CHVWYJM7RM/e1, theorem 1.1

History

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

67SNS6FXZJ 67SNS6FXZJ

URI	`m2://inv/67SNS6FXZJ`
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#HQS8 (statement). In BDN507RN7J/e1, theorem 4.1.12

History

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

67SPGM4Z5Y 67SPGM4Z5Y

URI	`m2://inv/67SPGM4Z5Y`
Kind	conjecture
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.27800#R7XX (conjecture)

History

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

67SR0VCQJK 67SR0VCQJK

URI	`m2://inv/67SR0VCQJK`
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.24580#HXDR (statement)

History

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

67SWTZ541T 67SWTZ541T

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

Mentions

arxiv: arXiv 2610.13518#QD6A (statement). In 613TY6V089/e1, theorem 3

History

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

67T0AMYKX5 67T0AMYKX5

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#theorem-4 (statement). In P1C114YBXG, theorem, section J

History

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

67T2ZTFFK9 67T2ZTFFK9

URI	`m2://inv/67T2ZTFFK9`
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.14099#XHVU (statement). In D77GXFTKFH/e1, theorem 4

History

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

Notation 67T8D8M9PF

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

Mentions

wikipedia: Wikipedia Variable (mathematics)#TE4R, Notation (definition)

History

2026-11-02: add by m2/dev

67TCN5P1FG 67TCN5P1FG

URI	`m2://inv/67TCN5P1FG`
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.00339#C3UM (statement). In ZRG6NY1ECH/e1, lemma 31

History

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

Constructions 67TE0SY05A

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

Mentions

wikipedia: Wikipedia Locally linear graph#NJ0X, Constructions (definition)

History

2026-11-02: add by m2/dev

KASUMI 67TEKVGH86

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

Mentions

wikipedia: Wikipedia KASUMI, KASUMI (definition). Also Wikidata Q1718415

History

2026-11-02: add by m2/dev

Jennifer Van Mullekom 67TEXH2W3R

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#S1S8, Jennifer Van Mullekom (topic)

History

2026-11-02: add by m2/dev

67TKATA27K 67TKATA27K

URI	`m2://inv/67TKATA27K`
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.13884#36V1 (statement). In N2NQ3QJYTW/e1, proposition 3.1

History

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

L-class 67TKR810DG

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#1EGP, L-class (definition)

History

2026-11-02: add by m2/dev

67V5YXDQ5W 67V5YXDQ5W

URI	`m2://inv/67V5YXDQ5W`
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.00339#UDOP (statement). In ZRG6NY1ECH/e1, lemma 30

History

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

Terminology 67VCTT3NW7

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

Mentions

wikipedia: Wikipedia Index of dispersion#WIL2, Terminology (definition)

History

2026-11-02: add by m2/dev

67VEFE5F6Q 67VEFE5F6Q

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#cor-1 (statement). In E59CDZA4DP, cor, section 7.2.2

History

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

Private measure yields private synthetic data 67VG49ZST8

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

Mentions

arxiv: arXiv 2204.09167#FGZ1, Private measure yields private synthetic data (statement). In S1MENYEAG5/e1, lemma 4.1

History

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

finitely supported function 67VSNNRVEN

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

Mentions

mathlib_overview: mathlib_overview Data structures > Maps > finitely supported function, finitely supported function (unknown). Also Mathlib Finsupp

History

2026-10-26: add by m2/dev

probability logic 67VWG7PNM7

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

Mentions

wikipedia: Wikipedia Glossary of logic#7RI9, probability logic (definition)

History

2026-11-02: add by m2/dev

Optimization-level Gaussian reduction 67W1DD94B0

URI	`m2://inv/67W1DD94B0`
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.36143#R2YB, Optimization-level Gaussian reduction (statement). In 6T2TWKQMJ8/e1, proposition 3

History

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

Absolutely closed 67W4B0DQ09

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

Mentions

wikipedia: Wikipedia Glossary of general topology#T1V6, Absolutely closed (definition)

History

2026-11-02: add by m2/dev

Geometrical properties of polynomial roots 67WA28QHQF

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

Mentions

wikipedia: Wikipedia Geometrical properties of polynomial roots, Geometrical properties of polynomial roots (definition). Also Wikidata Q12859399

History

2026-11-02: add by m2/dev

67WB7KBYWV 67WB7KBYWV

URI	`m2://inv/67WB7KBYWV`
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.14374#41X8 (statement). In YPTC532FEG/e1, lemma 23

History

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

Reduction of summands 67WG80BBAZ

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

Mentions

wikipedia: Wikipedia Reduction of summands, Reduction of summands (definition). Also Wikidata Q7306371

History

2026-11-02: add by m2/dev

67WQE4ZPTK 67WQE4ZPTK

URI	`m2://inv/67WQE4ZPTK`
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.05706#48CI (statement). In 8EHE8CX1KJ/e1, theorem 1.4

History

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

Conference on Computability in Europe 67WQJ53WXP

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

Mentions

wikipedia: Wikipedia Computability in Europe#Q2WR, Conference on Computability in Europe (unknown)

History

2026-11-02: add by m2/dev

Setting and statement of the conjecture 67WTETFT9T

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

Mentions

wikipedia: Wikipedia Schoen–Yau conjecture#LBO7, Setting and statement of the conjecture (statement)

History

2026-11-02: add by m2/dev

David Kellogg Lewis 67WWY345BN

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

Mentions

wikipedia: Wikipedia List of logicians#QJTH, David Kellogg Lewis (unknown)

History

2026-11-02: add by m2/dev

67X2BYCR0C 67X2BYCR0C

URI	`m2://inv/67X2BYCR0C`
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.39104#ULB2 (statement). In V2NTW27MSJ/e1, corollary 2.10

History

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

67X6V35K85 67X6V35K85

URI	`m2://inv/67X6V35K85`
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.17579#BORI (statement). In 1H021CTR3A/e1, lemma 6

History

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

presentation, of a positive type by its constructors 67X9A4PRTQ

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

Mentions

hott_book: hott_book index/1.12/presentation-of-a-positive-type-by-its-constructors, presentation, of a positive type by its constructors (concept). In N54F33XE07, index, section 1.12

History

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

67X9GQC3DW 67X9GQC3DW

URI	`m2://inv/67X9GQC3DW`
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.20881#WQ8J (statement)

History

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

filtered ring 67XD13R0SW

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#KR2D, filtered ring (definition)

History

2026-11-02: add by m2/dev

67XH89FZ19 67XH89FZ19

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

Mentions

arxiv: arXiv 2609.30760#P39Y (statement). In MMVNRRE7N0/e1, corollary 2.6

History

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

Linear topology 67XK9RQ84P

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

Mentions

wikipedia: Wikipedia Linear topology, Linear topology (definition). Also Wikidata Q6553531

History

2026-11-02: add by m2/dev

function, bi-invertible 67XSW24EWF

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

Mentions

hott_book: hott_book index/3.3/function-bi-invertible, function, bi-invertible (concept). In N54F33XE07, index, section 3.3

History

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

Janiszewski's theorem 67XWCXKYB6

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

Mentions

wikipedia: Wikipedia Janiszewski's theorem, Janiszewski's theorem (statement). Also Wikidata Q25106520

History

2026-11-02: add by m2/dev

67XYKE09FR 67XYKE09FR

URI	`m2://inv/67XYKE09FR`
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.18335#CTV3 (statement). In XKN1C8Y9SD/e1, lemma 4

History

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

67XYNW3K68 67XYNW3K68

URI	`m2://inv/67XYNW3K68`
Kind	statement
Layer	research
MSC	16-XX, 18-XX, 19-XX, 20-XX, 22-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 2410.14097#2LZX (statement). In H52QQS8WZA/e1, corollary 6.3

History

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

Cauchy–Schwarz inequality for sums 67Y7X6R1A2

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

Mentions

wikidata: Wikidata Q97485926, Cauchy–Schwarz inequality for sums (statement). Also MathWorld CauchysInequality, ProofWiki Cauchy's_Inequality

History

2026-10-26: add by m2/dev

67Y8D1MC4G 67Y8D1MC4G

URI	`m2://inv/67Y8D1MC4G`
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.12034#P87S (statement). In 1FRW4N1H90/e1, theorem 1

History

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

Nazif ibn Yumn 67Y8R655KV

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

Mentions

wikipedia: Wikipedia List of Iranian mathematicians#EILB, Nazif ibn Yumn (unknown)

History

2026-11-02: add by m2/dev

Riemann's theorem on removable singularities 67YK0FKHWX

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

Mentions

wikipedia: Wikipedia List of things named after Bernhard Riemann#1RBW, Riemann's theorem on removable singularities (definition)

History

2026-11-02: add by m2/dev

Properties 67YPJ58MRV

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

Mentions

wikipedia: Wikipedia Conic section#Q5KS, Properties (statement)

History

2026-11-02: add by m2/dev

Extension 67YS3PTHES

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

Mentions

wikipedia: Wikipedia Light's associativity test#ZBK4, Extension (statement)

History

2026-11-02: add by m2/dev

67YXEYPCY3 67YXEYPCY3

URI	`m2://inv/67YXEYPCY3`
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 2301.02848#H56X (statement). In G6WQDW52TJ/e1, lemma 4.9

History

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

Example 67YYSC26PW

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

Mentions

wikipedia: Wikipedia Muller's method#3LPC, Example (example)

History

2026-11-02: add by m2/dev

Definition 67Z1K1P484

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

Mentions

wikipedia: Wikipedia K3 surface#YT4K, Definition (definition)

History

2026-11-02: add by m2/dev

weak inverse 67ZB6WQW72

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

Mentions

wikidata: Wikidata Q7977954, weak inverse (unknown). Also nLab weak inverse
wikipedia: Wikipedia Weak inverse, Weak inverse (definition). Also Wikidata Q7977954

History

2026-10-26: add by m2/dev

Boughattas 67ZFRWAJDJ

URI	`m2://inv/67ZFRWAJDJ`
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 1003.2117#N3JX, Boughattas (statement). In H4D4RFNH2V/e1, theorem 2.4

History

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

Nicole McNeil 67ZXAAZ4GF

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

Mentions

wikipedia: Wikipedia Nicole McNeil, Nicole McNeil (topic). Also Wikidata Q125288157

History

2026-11-02: add by m2/dev

Quotient graph 67ZZGVF61D

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

Mentions

wikipedia: Wikipedia Quotient graph, Quotient graph (definition). Also Wikidata Q25098847

History

2026-11-02: add by m2/dev