Math 2.0

Inventory rows 6D

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

probability density function 6D41320J4W

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

Mentions

  • mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > probability density function, probability density function (unknown). Also Mathlib MeasureTheory.HasPDF
  • mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > probability density function, probability density function (unknown). Also Mathlib MeasureTheory.HasPDF

History

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

Edward Charles Titchmarsh 6D8XGK7K6S

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

De Thiende 6D91CXY1PM

URIm2://inv/6D91CXY1PM
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a book, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

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

Musselman's theorem 6D9BC431F9

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

Mentions

History

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

poiseuille 6DA96WFPDM

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

Mentions

History

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

Thales 6DBGNZZ3MC

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

oriented matroid 6DMXBR82MR

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

Mentions

History

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

limit point 6DR28FCFGD

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences of real numbers > limit point, limit point (unknown). Also Mathlib MapClusterPt

History

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

projective representation 6DR3QSG4G5

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

Mentions

History

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

intersection 6DRQFYH4C4

URIm2://inv/6DRQFYH4C4
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeIntersection 0ZNMMA9TF5

Mentions

History

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

6DSMPJK882 6DSMPJK882

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

unitary divisor 6DTV591B6B

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

Mentions

History

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

Tennenbaum's theorem 6DZXDZJW9Z

URIm2://inv/6DZXDZJW9Z
Kindstatement
Layertextbook
MSC03-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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