Math 2.0

Inventory rows 2X

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

José Edelstein 2X87AH27S5

URIm2://inv/2X87AH27S5
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

non-parametric statistics 2XC7KJE332

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

Mentions

History

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

local equation 2XD2HXHZQJ

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > local equation, local equation (unknown)

History

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

topological ring 2XMB3EB29D

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

Mentions

  • mathlib_overview: mathlib_overview Topology > Topological algebra > topological ring, topological ring (unknown). Also Mathlib IsTopologicalRing

History

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

multiplicative group 2XR4JGNZ35

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

Mentions

History

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

Li's criterion 2XTV1A6T8D

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

Mentions

History

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

vertically opposite angle theorem 2XVEYMKBEV

URIm2://inv/2XVEYMKBEV
Kindstatement
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Ramanujan prime 2XXSCER167

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

Mentions

History

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

Hilbert symbol 2XYH1TY0YV

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

Mentions

History

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

multiplicative identity 2XZ5Z7DQKX

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

Mentions

History

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

quasi-abelian category 2XZJA203S2

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

Mentions

History

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