Math 2.0

Inventory rows 3M

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

finite simple group 3M0JJP9ZRQ

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

Mentions

History

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

Lehmann–Scheffé theorem 3M0Z3N4STP

URIm2://inv/3M0Z3N4STP
Kindstatement
Layertextbook
MSC62-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

pentadecagon 3M1ZRP1R5T

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

Mentions

History

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

Hilbert polynomial 3M8N7YEBDM

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

Mentions

History

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

William Messing 3M936SF3EF

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

limit 3MFJ903S3Z

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

Mentions

History

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

quintic graph 3MG57F1Y5S

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

Mentions

History

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

multiple-angle formulas 3MKWPWBYVF

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

Mentions

History

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

cissoid of Diocles 3MMHV3F2JD

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

Mentions

History

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

Zdzislaw A. Melzak 3MPDGD1GCM

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

compact Lie algebra 3MRWAXX56W

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

Mentions

History

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

prime numbers 3MXHQWG2FE

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > prime numbers, prime numbers (unknown). Also Mathlib Prime

History

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

equivalence of norms in finite dimension 3MYCY48VQ2

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

Mentions

  • mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > equivalence of norms in finite dimension, equivalence of norms in finite dimension (unknown). Also Mathlib LinearEquiv.toContinuousLinearEquiv
  • mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > equivalence of norms in finite dimension, equivalence of norms in finite dimension (unknown). Also Mathlib LinearEquiv.toContinuousLinearEquiv

History

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

Proclus 3MZVE10TDV

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