Math 2.0

Inventory rows NH

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

integer part NH47N3X3YC

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

Mentions

History

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

ForMath NH5H17KQ5R

URIm2://inv/NH5H17KQ5R
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a book or a journal, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

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

Prym variety NH89T5THK4

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

Mentions

History

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

Atiyah–Segal completion theorem NH8CHMDPAD

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

Mentions

History

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

Steenrod algebra NH9ZRE7NCS

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

Mentions

History

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

symmetric algebra NHCTJ73BGM

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

Mentions

History

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

trefoil curve NHM6ADM0QW

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

Mentions

History

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

Kalb–Ramond field NHNGSFZ3E9

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

Mentions

History

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

similarity transformation NHP80CXFYW

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

Mentions

History

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

parabolic coordinates NHRQ45239P

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

Mentions

History

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

triangle cubic NHVF1CKW45

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

Mentions

History

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

Regularity lemma NHVKDZ78XG

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

Mentions

  • mathlib_overview: mathlib_overview Combinatorics > Graph theory > Regularity lemma, Regularity lemma (unknown). Also Mathlib szemeredi_regularity

History

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

snub square antiprism NHZ3BZ5KGF

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

Mentions

History

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