Math 2.0

Inventory rows D2

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

Complete group D23MZWWZ95

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

Mentions

History

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

umbilical point D24G65DQZB

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

Mentions

History

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

Kantaro Ohmori D2CAJ67CX2

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

opposite number D2CTVNKGDN

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

Mentions

History

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

negative base D2D09986B3

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

Mentions

History

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

spherical ring D2D6WRWWE2

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

Mentions

History

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

Test functions D2EMMHJPRE

URIm2://inv/D2EMMHJPRE
Kindunknown
Layertextbook
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

  • mathlib_overview: mathlib_overview Analysis > Distribution theory > Test functions, Test functions (unknown). Also Mathlib TestFunction
  • mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{D}(\R^d)$ > smooth functions with compact support on $\R^d$, smooth functions with compact support on $\R^d$ (unknown). Also Mathlib TestFunction

History

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

if and only if D2G7VAMEBE

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

Mentions

History

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

polyhedron D2GM09MWBB

URIm2://inv/D2GM09MWBB
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodePolyhedron 0325SGSJAR

Mentions

History

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

Borel algebra D2K7WJZ87P

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

Mentions

History

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

Induced representation D2QSE210QD

URIm2://inv/D2QSE210QD
Kindtopic
Layertextbook
MSC22D30
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Galois module D2R034SHVE

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

Mentions

History

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

octomino D2SR6QA8JN

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

Mentions

History

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

grand unified theory D2VNDH5H2E

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

Mentions

History

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

Cramér's theorem (large deviations) D2ZCV5H33H

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

Mentions

History

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

$\R(X)$-partial fraction decomposition D2ZHX0CAME

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > $\R(X)$-partial fraction decomposition, $\R(X)$-partial fraction decomposition (unknown)

History

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