Math 2.0

Inventory rows JR

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

Kepler's first law JR042DWVKK

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

Mentions

History

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

Lerch transcendent JR17Y5JSC2

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

Mentions

History

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

signature JR4KPMQ5HG

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Group Theory > Permutation group > signature, signature (unknown). Also Mathlib Equiv.Perm.sign

History

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

partial derivatives JR8P4RY8C0

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > partial derivatives, partial derivatives (unknown)

History

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

Émile Lemoine JREP6N6MWQ

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

Schroeder stairs JRF0BQPSM9

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

Mentions

History

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

music JRFXT147NR

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

Mentions

History

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

mock modular form JRKY1M39B3

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

Mentions

History

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

Maryna Viazovska JRQ33ZMKCR

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

Chen–Gackstatter surface JRQGQQJ2A3

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

Mentions

History

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

gyroelongated triangular bicupola JRSF9D45JG

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

Mentions

History

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

positional draw JRVDM23BVC

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

Mentions

History

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

Bounded inverse theorem JRWMEAZN1T

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

Mentions

History

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