Math 2.0

Inventory rows 7P

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

Cartesian product of graphs 7P26RT2YMW

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

Mentions

History

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

scalar multiplication 7P4EZQPTDF

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

Mentions

History

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

Minesweeper 7P5PZ01BJB

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

Mentions

History

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

Reduction Operator 7P5YQQH8AF

URIm2://inv/7P5YQQH8AF
Kindtopic
Layertextbook
MSC47A56
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

second moment of area 7P8YM4A5G7

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

Mentions

History

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

parastatistics 7PB4G1SG7F

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

Mentions

History

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

nautical mile 7PKPD2KQZ6

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

Mentions

History

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

Cantor normal form 7PKVXPXE5P

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

Mentions

  • mathlib_overview: mathlib_overview Logic and computation > Set theory > Ordinals > Cantor normal form, Cantor normal form (unknown). Also Mathlib Ordinal.CNF

History

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

ind-scheme 7PPM45KKER

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

Mentions

History

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

John C. Reynolds 7PPQZE82MG

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

wave–particle duality 7PQPZEK7E0

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

Mentions

History

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

Galois group 7PZJB2A4D1

URIm2://inv/7PZJB2A4D1
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeGalois group 0XTY86BZKY

Mentions

History

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