Math 2.0

Inventory rows 35

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

Verma module 351Q1YXRQT

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

Mentions

History

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

direct product of groups 353S1MEC5E

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > direct product of groups, direct product of groups (unknown). Also Mathlib Prod.instGroup

History

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

Wolfgang Ziller 354EF4E29D

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

Andrea Asperti 35APQHY56X

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

Lie algebra cohomology 35AVSM6Y93

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

Mentions

History

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

Schröder–Bernstein theorems for operator algebras 35D7FWP8MW

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

Mentions

History

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

binary Golay code 35DH0MX2V2

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

Mentions

History

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

rapidity 35DRZNN66J

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

Mentions

History

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

pathwidth 35FFR7E7XJ

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

Mentions

History

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

Jia Xian 35KEA8QWQA

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

quadratrix of Hippias 35T3MXJ8PX

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

Mentions

History

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

Young tableau 35Z5R09MPD

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

Mentions

History

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

Kempner number 35ZH6J26D3

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

Mentions

History

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

multivariate function 35ZXVH3J7B

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

Mentions

History

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