Math 2.0

Inventory rows MB

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

orientation of a vector bundle MB5RG1F1RR

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

Mentions

History

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

Lévy's theorem MB8Q6GEPGP

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > Lévy's theorem, Lévy's theorem (unknown)

History

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

recursively enumerable set MB961CQ657

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

Mentions

History

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

fifty-move rule MBDEQW62DH

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

Mentions

History

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

analog clock MBGR1C9QW3

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

Mentions

History

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

Scherk surface MBJ06HHWCK

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

Mentions

History

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

Maurice René Fréchet MBKRTSW48J

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

symmetrization MBMAC2MQGY

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

Mentions

History

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

king MBTPM67ZPR

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

Mentions

History

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