Math 2.0

Inventory rows BQ

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

cyclic quadrilateral BQ1DY5G6S8

URIm2://inv/BQ1DY5G6S8
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeCyclic quadrilateral 0RCP929Y1M

Mentions

History

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

principal homogeneous space BQ2WQ82R00

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

Mentions

History

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

additive process BQ5ARZ7S8R

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

Mentions

History

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

BQ64WR636Q BQ64WR636Q

URIm2://inv/BQ64WR636Q
Kindtopic
Layertextbook
MSC34A30
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

frame of a vector space BQ6V1V8JST

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

Mentions

History

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

colon BQ78TJ4MW1

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

Mentions

History

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

silver ratio BQAH2W1KC1

URIm2://inv/BQAH2W1KC1
Kindobject
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

vector bundle connection BQDN0VQEXH

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

Mentions

History

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

Serbia BQFPH5XHBN

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

well-ordering principle BQGFNAM8KP

URIm2://inv/BQGFNAM8KP
Kindstatement
Layertextbook
Sources1
Outcomeopen
NodeWell-ordering principle 01BX15HSRR

Mentions

History

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

Haag–Lopuszanski–Sohnius theorem BQMDNQ5FVB

URIm2://inv/BQMDNQ5FVB
Kindstatement
Layertextbook
MSC00-XX
Sources3
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

midpoint BQMSCN54DW

URIm2://inv/BQMSCN54DW
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeMidpoint 0S706JBZBG

Mentions

History

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

Lagrange's identity BQMW30DXVT

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

Mentions

History

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

wheat and chessboard problem BQR4T8TP94

URIm2://inv/BQR4T8TP94
Kindproblem
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

presented group BQTW9VKT0M

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

Mentions

  • mathlib_overview: mathlib_overview General algebra > Group theory > presented group, presented group (unknown). Also Mathlib PresentedGroup

History

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

uniquely pancyclic graph BQVVSD3ZT7

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

Mentions

History

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

Artinian module BQXETZWNVH

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

Mentions

History

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

Narasimhan–Seshadri theorem BQXJWD15ZT

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

Mentions

History

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

projective cover BQXXGFZDNM

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

Mentions

History

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

weak homotopy equivalence BQZB5S4Z1X

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

Mentions

History

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