probability-statistics / Discrepancy theory
a structured special case, proved the same week as the independent group version
Temporal state
No reconciled state yet.
Append-only history
a structured special case, proved the same week as the independent group version
Research memory
a structured special case, proved the same week as the independent group version
a structured special case, proved the same week as the independent group version
Evidence graph
parent of · claim · theorem
parent of · event · claim reported