Math 2.0

Inventory rows V6

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

Maarten van de Meent V61GW8QTAK

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

myriad V63M55Q5AJ

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

Mentions

History

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

Hankel contour V64GFVJA2Z

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

Mentions

History

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

Isoclinism of groups V65YNS5C2X

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

Mentions

History

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

uniform limit theorem V68R5TQ9D5

URIm2://inv/V68R5TQ9D5
Kindstatement
Layertextbook
Sources1
Outcomeopen
NodeUniform limit theorem 0X9XT05JVC

Mentions

History

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

Lagrange method V69GZ0R6CK

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

Mentions

History

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

strong pseudoprime V6E6921PQ6

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

Mentions

History

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

Turán's theorem V6HN7H6FVT

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

Mentions

History

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

limit infimum and supremum V6HSDABX3A

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

Mentions

  • mathlib_overview: mathlib_overview Topology > Topological algebra > limit infimum and supremum, limit infimum and supremum (unknown)

History

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

radical V6HYTFV53W

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

Mentions

History

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

multiplier algebra V6JM3GBTG3

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

Mentions

History

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

Stammler circle V6NAQ96APK

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

Mentions

History

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

radial set V6NF5VAAPS

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

Mentions

History

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

Geometric mean theorem V6SP7J3T4J

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

Mentions

History

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

checksum V6WT52EQBV

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

Mentions

History

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

division sign V6X1XT3151

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

Mentions

History

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

Conjugate element V6YW0T39TC

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

Mentions

History

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

A¹ homotopy theory V6Z5NRPJPG

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

Mentions

History

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