Math 2.0

Inventory rows X6

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

diamond graph X62CVPWD2R

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

Mentions

History

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

complete category X63WKDZX9V

URIm2://inv/X63WKDZX9V
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Caterina Consani X6561ZS9JD

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

Spieker circle X680A6J9TJ

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

Mentions

History

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

global minimum X6816N3C4K

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

Mentions

History

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

subbase X68DQ979EQ

URIm2://inv/X68DQ979EQ
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeSubbasis 09S8DV34Y0

Mentions

History

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

exponential generating function X6AGSJFM3Y

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

Mentions

History

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

rectilinear crossing number X6BTR2AWJ7

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

Mentions

History

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

Spence's function X6CV5Z3695

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

Mentions

History

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

gamma numbers X6EMF0EQ7G

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

Mentions

  • mathlib_overview: mathlib_overview Logic and computation > Set theory > Ordinals > gamma numbers, gamma numbers (unknown). Also Mathlib Ordinal.gamma

History

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

sphinx tiling X6ETAKEYMZ

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

Mentions

History

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

X6EZGFXWA9 X6EZGFXWA9

URIm2://inv/X6EZGFXWA9
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a notation: the notation register holds it (corpus spec K10.4))
NodeNone yet. Write the node.

Mentions

History

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

Desargues' theorem X6HCQK70KS

URIm2://inv/X6HCQK70KS
Kindstatement
Layertextbook
MSC51-XX
Sources3
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

folk theorem X6HZWF2EE7

URIm2://inv/X6HZWF2EE7
Kindstatement
Layertextbook
MSC91-XX
Sources3
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

gyroelongated square bicupola X6VRH2RMCE

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

Mentions

History

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