Name | Date modified | File size |
|
|---|---|---|---|
BanachStoneTheorem_aristotle | Mar 19 | — | |
BorsukUlamTheorem_aristotle | Mar 19 | — | |
BurnsidePrimeDegreeTheorem_aristotle | Mar 19 | — | |
CollatzMapAlmostBoundedValues_aristotle | Mar 19 | — | |
ColorfulCaratheodoryTheorem_aristotle | Mar 19 | — | |
DeBruijnErdos_aristotle | Mar 19 | — | |
DLOQuantifierElimination_aristotle | Mar 19 | — | |
ErdosDiscrepancyProblem_aristotle | Mar 19 | — | |
GleasonKahaneZelazkoTheorem_aristotle | Mar 19 | — | |
GreenTaoTheorem_aristotle | Mar 19 | — | |
Hilbert17thProblem_aristotle | Mar 19 | — | |
JordanCycleTheorem_aristotle | Mar 19 | — | |
JordanDerangementTheorem_aristotle | Mar 19 | — | |
KakeyaTheorem3D_aristotle | Mar 19 | — | |
MaynardTaoBoundedPrimeGaps_aristotle | Mar 19 | — | |
ParisHarringtonPrinciple_aristotle | Mar 19 | — | |
PontryaginDuality_aristotle | Mar 19 | — | |
QuillenSuslinTheorem_aristotle | Mar 19 | — | |
RungeTheorem_aristotle | Mar 19 | — | |
SchauderFixedPointTheorem_aristotle | Mar 19 | — | |
SkolemMahlerLechTheorem_aristotle | Mar 19 | — | |
TernaryGoldbachTheorem_aristotle | Mar 19 | — | |
VonNeumannDoubleCommutantTheorem_aristotle | Mar 19 | — |