Each simplex in $\mathbb{R}^4$ has a point with at least $14$ emanating normals to its boundary P5SQ4CMX42

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
1WTNZ54KXY	statement	lemma 1	arxiv
3M5QCR3FW7	definition	definition 2	arxiv
4B3AKRHEEH	statement	lemma 4	arxiv
61VRKJF3ZB	statement	proposition 1	arxiv
F44M8H8QJN	definition	definition 3	arxiv
GBQW9T0JQW	definition	definition	arxiv
GYDV2GRHQ7	statement	lemma 5	arxiv
J57ZDFP7FE	definition	definition 4	arxiv
RYE0NZ3WK2	statement	lemma 3	arxiv
RZRVD1XBVC	definition	definition 1	arxiv
S9WH9B638Y	statement	theorem 1	arxiv
WTT0ZBBBJ8	statement	lemma 2	arxiv
YTNWWNNK0P	definition	definition 1	arxiv