Math 2.0

Inventory rows 2N

The cards of the rows of the inventory whose ids start with 2N. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.

analytic function 2N0MCVT2NY

URIm2://inv/2N0MCVT2NY
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

  • mathlib_overview: mathlib_overview Analysis > Differentiability > analytic function, analytic function (unknown). Also Mathlib AnalyticAt

History

  • 2026-10-26: add by m2/dev

algebraic integer 2N2KEK9617

URIm2://inv/2N2KEK9617
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Radon's theorem 2N2V41WNVT

URIm2://inv/2N2V41WNVT
Kindstatement
Layertextbook
MSC52-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Charles Babbage 2N5SC9R3FH

URIm2://inv/2N5SC9R3FH
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

submonoid 2N5X86FFZY

URIm2://inv/2N5X86FFZY
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

isomorphism with bidual 2N9892CYCB

URIm2://inv/2N9892CYCB
Kindunknown
Layertextbook
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

  • mathlib_overview: mathlib_overview Linear algebra > Finite-dimensional vector spaces > isomorphism with bidual, isomorphism with bidual (unknown). Also Mathlib Module.evalEquiv
  • mathlib_undergrad: mathlib_undergrad Linear algebra > Finite-dimensional vector spaces > isomorphism with bidual, isomorphism with bidual (unknown). Also Mathlib Module.evalEquiv

History

  • 2026-10-26: add by m2/dev

Fisher's equation 2NAFGS7HZC

URIm2://inv/2NAFGS7HZC
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Peter Johnstone 2NCMPM69G4

URIm2://inv/2NCMPM69G4
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

low-dimensional topology 2NCPECPWK1

URIm2://inv/2NCPECPWK1
Kindtopic
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

enneadecagonal number 2ND9J9SV6W

URIm2://inv/2ND9J9SV6W
Kindobject
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

homotopy type 2NK467HC7C

URIm2://inv/2NK467HC7C
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

disdyakis dodecahedral graph 2NNHGHVPTQ

URIm2://inv/2NNHGHVPTQ
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

piecewise constant function 2NPECJP8AS

URIm2://inv/2NPECJP8AS
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

spectral radius 2NRAM6DFS1

URIm2://inv/2NRAM6DFS1
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

volume conjecture 2NS7KTECMV

URIm2://inv/2NS7KTECMV
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Benedikt Ahrens 2NSKJ7X1JM

URIm2://inv/2NSKJ7X1JM
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

versine 2NW7NFW5FH

URIm2://inv/2NW7NFW5FH
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Lipschitz function 2NXSHRSRK6

URIm2://inv/2NXSHRSRK6
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeLipschitz condition 0AW1E6YTJY

Mentions

History

  • 2026-10-26: add by m2/dev

Mergelyan's theorem 2NYQF7WDWF

URIm2://inv/2NYQF7WDWF
Kindstatement
Layertextbook
MSC30-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev