Math 2.0

Inventory rows Q2

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

transitive relation Q23D46R4C1

URIm2://inv/Q23D46R4C1
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeTransitive relation 0GJZW9JFZQ

Mentions

History

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

choice function Q27DBT5AVS

URIm2://inv/Q27DBT5AVS
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeChoice function 0FWBQ53MPJ

Mentions

History

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

Lie–Palais theorem Q2B084DKXX

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

Mentions

History

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

Veneziano amplitude Q2CZGMCZXH

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

Mentions

History

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

law of mass action Q2EQ5MW8ZY

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

Mentions

History

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

Convergence of real-valued series Q2FNEQ2X16

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Numerical series > Convergence of real-valued series, Convergence of real-valued series (unknown)

History

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

torsion-free module Q2GD8HDNBV

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

Mentions

History

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

Chebyshev distance Q2JPGF5WW5

URIm2://inv/Q2JPGF5WW5
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeSup metric on R^n 0VTAXQEWQD

Mentions

History

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

Excision theorem Q2KKZWABT6

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

Mentions

History

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

small rhombidodecacron Q2PKHT2KV4

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

Mentions

History

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

group representation Q2QHZNM68W

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

Mentions

History

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

macron Q2RJDJQN7E

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

Mentions

History

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

geodesic equation in Riemannian manifold Q2WAQEME96

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

Mentions

History

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

water pouring puzzle Q2XRG3GJXA

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

Mentions

History

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