analysis / Euclidean density theorems
Near-optimal rather than optimal: the bounds match up to logarithmic-type factors.
Temporal state
No reconciled state yet.
Append-only history
Near-optimal rather than optimal: the bounds match up to logarithmic-type factors.
Research memory
Near-optimal rather than optimal: the bounds match up to logarithmic-type factors.
Near-optimal rather than optimal: the bounds match up to logarithmic-type factors.
Evidence graph
parent of · event · claim reported
parent of · claim · theorem