Math 2.0

Inventory rows BW

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

elongated pentagonal gyrobirotunda BW5ZH6KGQP

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

Mentions

History

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

pentakis dodecahedron BW6WHR66W0

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

Mentions

History

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

Mountain pass theorem BW8D8J931R

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

Mentions

History

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

gyroelongated pentagonal rotunda BW8ZR81DS4

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

Mentions

History

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

vertex-labeled directed graph BWCPSW3N3G

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

Mentions

History

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

Szegő limit theorems BWEBY83G7Y

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

Mentions

History

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

box topology BWG93CWGXE

URIm2://inv/BWG93CWGXE
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeBox topology 0BWJTRE3X3

Mentions

History

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

superset BWGETFG9FK

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

Mentions

History

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

new riddle of induction BWHY90BC7B

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

Mentions

History

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

Pomeranchuk's theorem BWKCQES28S

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

Mentions

History

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

root of unity BWNVNZSQA0

URIm2://inv/BWNVNZSQA0
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeRoot of unity 0YV2CKP2AV

Mentions

History

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

seventh power BWRG8SNZ6E

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

Mentions

History

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

Gödel’s Incompleteness Theorem BWYTA2YZSJ

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

Mentions

  • mathlib_100: mathlib_100 6, Gödel’s Incompleteness Theorem (statement)

History

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