Math 2.0

Inventory rows H4

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

Lovelock's theorem H4918SS2BJ

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

Mentions

History

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

gram H4AH70B7J4

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

Mentions

History

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

Adams spectral sequence H4AN5553Q5

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

Mentions

History

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

equivariant cohomology H4CYXWMVCG

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

Mentions

History

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

graceful graph H4F2NRACT1

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

Mentions

History

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

Pythagorean triple H4GESV23R4

URIm2://inv/H4GESV23R4
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodePythagorean triple 0M7ARED5Q7

Mentions

History

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

oersted H4RABE2YQ9

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

Mentions

History

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

dozen H4TBK8Y0TR

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

Mentions

History

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

e is Transcendental H4TNCVCHYP

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

Mentions

  • mathlib_100: mathlib_100 67, e is Transcendental (statement)

History

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

Addition theorem H4WDRHJ3G8

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

Mentions

History

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