Math 2.0

Inventory rows WR

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

k-edge-connected graph WR0VJX2BY6

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

Mentions

History

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

matrix multiplication WR20Z14FKD

URIm2://inv/WR20Z14FKD
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeMatrix multiplication 032Q9FB8MT

Mentions

History

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

Jim Stasheff WR296GKSY9

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

Monogenic field WR299PE4NF

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

Mentions

History

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

cocountable topology WR4FAEXMNW

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

Mentions

History

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

solid figure WR6XTTTHEN

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

Mentions

History

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

Roman numerals WR8BJ3Z4G8

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

Mentions

History

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

Riemann sum WRE2H0TF6Y

URIm2://inv/WRE2H0TF6Y
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeRiemann sum 0JAEHXTVV5

Mentions

History

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

arrangement of hyperplanes WRHR5WHVP3

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

Mentions

History

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

copper-63 WRN1RDSDWC

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

Mentions

History

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

mixed tensor WRNTTWNFPJ

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

Mentions

History

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

Asher Peres WRSXCNMKS3

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

Whitehead product WRVHN4XZPH

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

Mentions

History

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

W boson WRXPBD9DD2

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

Mentions

History

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

antiderivative of a continuous function WRZ134HSH6

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Integration > antiderivative of a continuous function, antiderivative of a continuous function (unknown). Also Mathlib Continuous.deriv_integral

History

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