Math 2.0

Inventory rows TM

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

Gerstenhaber algebra TM5H606Z6S

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

Mentions

History

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

BEST theorem TM5HXSSMX6

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

Mentions

History

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

graph isomorphism TM6EG3W21W

URIm2://inv/TM6EG3W21W
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeGraph isomorphism 0F7QKGJS6B

Mentions

History

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

zero-product property TM9J43X8Y8

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

Mentions

History

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

irreducible representation TM9JQEW51P

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Linear algebra > Linear representations > irreducible representation, irreducible representation (unknown). Also Mathlib Representation.IsIrreducible

History

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

five lemma TMS92PP076

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

Mentions

History

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

stochastic matrix TMT2EB310J

URIm2://inv/TMT2EB310J
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeTransition matrix 0F462493EA

Mentions

History

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

quantum optics TMVDK0K0G4

URIm2://inv/TMVDK0K0G4
Kindtopic
Layertextbook
MSC81V80
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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