| Theorem | 7J06G64GEZ | statement | open | Wikipedia Complete topological vector space#8YME |
| Theorem | 7JG99NK74S | statement | open | Wikipedia Luce's choice axiom#UORJ |
| Theorem | 7MHBAS36NC | statement | open | Wikipedia Topologies on spaces of linear maps#L2H2 |
| Theorem | 7NFXWJ7E3N | statement | open | Wikipedia Sub-Gaussian distribution#F25Q |
| Theorem | 7NYC833BHD | statement | open | Wikipedia Jucys–Murphy element#MTJL |
| THEOREM | 7P36PPZY2C | statement | open | Wikipedia Busemann function#415U |
| Theorem | 7PS189XRMK | statement | open | Wikipedia Characteristic samples#7C98 |
| theorem | 7R4DPD7FJ9 | definition | open | Wikipedia Glossary of logic#5CK7 |
| Theorem | 7T72TAWCAG | statement | open | Wikipedia Hilbert space#SKE3 |
| Theorem | 7TEQN6Y0Q8 | statement | open | Wikipedia Tits alternative#92WO |
| Theorem | 7WWE9KKMZG | statement | open | Wikipedia Dubins–Spanier theorems#V54X |
| Theorem | 837TZ2TJB7 | statement | open | Wikipedia Bornological space#4XOP |
| Theorem | 83CKRACYXP | statement | open | Wikipedia Congruence lattice problem#LRWP |
| Theorem | 85ANMGNPPV | statement | open | Wikipedia Quaternionic eigenvalue problem#RV79 |
| Theorem | 85QZC5N6WP | statement | open | Wikipedia Schur–Horn theorem#KV51 |
| Theorem | 86NXRR8K4E | statement | open | Wikipedia Quantum capacity#RZBR |
| Theorem | 8780KVNJ8A | statement | open | Wikipedia Fine and Wilf's theorem#FFO5 |
| Theorem | 87WCTFQ68V | statement | open | Wikipedia Equicontinuity#5RCC |
| Theorem | 888WDG1N8B | statement | open | Wikipedia Nonstandard analysis#7Q2F |
| Theorem | 88T7NCDG7X | statement | open | Wikipedia Rådström's embedding theorem#20NO |
| Theorem | 8A8XM27SAK | statement | open | Wikipedia Extensions of symmetric operators#F9GI |
| Theorem | 8AV3QMBYYR | statement | open | Wikipedia Mercer's theorem#3LRO |
| Theorem | 8BTWK8F3MV | statement | open | Wikipedia Denjoy–Wolff theorem#KDU9 |
| Theorem | 8CQZC5HAVN | statement | open | Wikipedia FEE method#2TSY |
| Theorem | 8DKAQTKTCG | statement | open | Wikipedia Closed graph theorem (functional analysis)#A7FF |
| Theorem | 8FQ0NJ3RB1 | statement | open | Wikipedia Metrizable topological vector space#GK2Q |
| Theorem | 8HCP2KSWYE | statement | open | Wikipedia Sparsity matroid#U022 |
| Theorem | 8J3SQGGY5Q | statement | open | Wikipedia Better-quasi-ordering#0YEH |
| Theorem | 8JF3HM7AGD | statement | open | Wikipedia Graph C*-algebra#AG5W |
| Theorem | 8JMW6JER9N | statement | open | Wikipedia Topological rigidity#LORB |
| Theorem | 8MZXHYT018 | statement | open | Wikipedia Cheap talk#TGPP |
| Theorem | 8NCKV405M7 | statement | open | Wikipedia Heyde theorem#BSAE |
| Theorem | 8NER47CJRX | statement | open | Wikipedia Hamiltonian path#KYNO |
| Theorem | 8P43HTF745 | statement | open | Wikipedia Set function#QE5J |
| Theorem | 8P7WRX8FE7 | statement | open | Wikipedia Characteristic samples#N8AU |
| Theorem | 8PB0TZTKNX | statement | open | Wikipedia De Moivre–Laplace theorem#TASV |
| Theorem | 8PKXQ1HGS0 | statement | open | Wikipedia Slepian–Wolf coding#83YU |
| Theorem | 8PXWDGGQPM | statement | open | Wikipedia Abel's theorem#W3QW |
| Theorem | 8QZRCSKR3C | statement | open | Wikipedia Friedrichs extension#F486 |
| Theorem | 8SGPDHVT7P | statement | open | Wikipedia Fréchet space#78HD |
| Theorem | 8SY0Y3TMEN | statement | open | Wikipedia Barrelled space#5W8K |
| Theorem | 8TEPXFKD4Y | statement | open | Wikipedia Entanglement witness#RP3H |
| Theorem | 8VAPEAPABR | statement | open | Wikipedia Dimension theory (algebra)#SZ4J |
| Theorem | 8VW24GRW0N | statement | open | Wikipedia Differential forms on a Riemann surface#TJEZ |
| Theorem | 8W82Q7YRR6 | statement | open | Wikipedia Envelope (category theory)#37EV |
| Theorem | 8WBB0TX5B3 | statement | open | Wikipedia Kosambi–Karhunen–Loève theorem#RVXH |
| Theorem | 8ZKX6E29AJ | statement | open | Wikipedia Continuous function#M9VF |
| Theorem | 90KDSA8GKP | statement | open | Wikipedia Markushevich basis#PK9U |
| Theorem | 90PND99Y5F | statement | open | Wikipedia Cover's theorem#0XVR |
| Theorem | 91GNB33Z3K | statement | open | Wikipedia Quaternionic eigenvalue problem#W3A4 |
| Theorem | 92Z6QNZZRM | statement | open | Wikipedia Foster's theorem#IBBN |
| Theorem | 950KGPQK1V | statement | open | Wikipedia Outer measure#WRI8 |
| Theorem | 95DQPXQGJA | statement | open | Wikipedia Hahn–Banach theorem#DGVK |
| Theorem | 97V9W3GYYF | statement | open | Wikipedia Karush–Kuhn–Tucker conditions#NJ3E |
| Theorem | 98Y3NNY59J | statement | open | Wikipedia Peano existence theorem#LO12 |
| Theorem | 9BF60EPWBJ | statement | open | Wikipedia Container method#3M0D |
| Theorem | 9BMQRR6GZZ | statement | open | Wikipedia Krener's theorem#YGCU |
| Theorem | 9E47V63509 | statement | open | Wikipedia List of mathematical abbreviations#SJNW |
| Theorem | 9EDX4DYH8P | statement | open | Wikipedia Countable set#WECY |
| Theorem | 9EQV2NF7S5 | statement | open | Wikipedia Sims conjecture#6KJC |
| Theorem | 9ERSV7TVBJ | statement | open | Wikipedia Weyl algebra#MFUC |
| Theorem | 9FE200M5MA | statement | open | Wikipedia Sub-Gaussian distribution#XKUD |
| Theorem | 9FTVWBWC9M | statement | open | Wikipedia Fine and Wilf's theorem#9DUI |
| Theorem | 9HDP47CHVY | statement | open | Wikipedia Burst error-correcting code#YE8V |
| Theorem | 9HTSZRFT7J | statement | open | Wikipedia Quantum logic#PHNT |
| Theorem | 9PVNFTKCMR | statement | open | Wikipedia Entanglement witness#OE1D |
| Theorem | 9S7AJ62NNE | statement | open | Wikipedia Calculus on Euclidean space#N6AB |
| Theorem | 9SY27BWZF7 | statement | open | Wikipedia Geometric rigidity#HVG9 |
| Theorem | 9X986H68NV | statement | open | Wikipedia Knapsack problem#0K6V |
| Theorem | 9YPT5CZ8AR | statement | open | Wikipedia Bell's theorem#BYIH |
| Theorem | 9YZGWCV6PJ | statement | open | Wikipedia Dedekind domain#YNJY |
| Theorem | 9ZD6RWE72V | statement | open | Wikipedia Graph flattenability#P8E5 |
| Theorem | 9ZWPYEZ25A | statement | open | Wikipedia Graph flattenability#NIDZ |
| Theorem | A0QW8KSPVY | statement | open | Wikipedia Kadison transitivity theorem#3TMW |
| Theorem | A2EEW3TP1Q | statement | open | Wikipedia Montgomery curve#V9UH |
| Theorem | A3E7XSB7NA | statement | open | Wikipedia Vector-valued Hahn–Banach theorems#VGWX |
| Theorem | A3SG8R0BXR | statement | open | Wikipedia Small object argument#M9L6 |
| Theorem | A4BHVZDW93 | statement | open | Wikipedia F-divergence#CVGC |
| Theorem | A4CZ8C6JEV | statement | open | Wikipedia Linear relation#SJ5L |
| Theorem | A4SSS36NBF | statement | open | Wikipedia Countable set#IUPC |
| Theorem | A6PHABJXBH | statement | open | Wikipedia Gibbard–Satterthwaite theorem#47XE |
| Theorem | A6XCHD5X5Y | statement | open | Wikipedia Universal space#UA73 |
| Theorem | A810G3TDZX | statement | open | Wikipedia Projection-valued measure#ZRXI |
| Theorem | A8TAZCN1WN | statement | open | Wikipedia Craig interpolation#79W5 |
| Theorem | ACQDNM1M47 | statement | open | Wikipedia Hausdorff dimension#EKFK |
| Theorem | AD54EF684A | statement | open | Wikipedia Möbius plane#P9H8 |
| Theorem | AH3CWF9JT8 | statement | open | Wikipedia Wigner's theorem#7EQ5 |
| Theorem | AP2NC4MN5S | statement | open | Wikipedia Spectral theory of ordinary differential equations#1G5S |
| Theorem | AQZVHNKD0F | statement | open | Wikipedia Polyadic space#VY7B |
| Theorem | AREKEE0QDA | statement | open | Wikipedia Jackson network#EOA1 |
| Theorem | AV49XMM1AK | statement | open | Wikipedia Minkowski plane#V2TP |
| Theorem | AWAC3NC984 | statement | open | Wikipedia Geometric rigidity#AB4A |
| Theorem | AWV73B2KK3 | statement | open | Wikipedia Cantor's intersection theorem#SSD5 |
| Theorem | AY0F38R9ZR | statement | open | Wikipedia Extreme point#X0HL |
| Theorem | AZ1JG3DQF6 | statement | open | Wikipedia Junction tree algorithm#WKHY |
| Theorem | B0250YG6S9 | statement | open | Wikipedia Weyl algebra#A25Y |
| Theorem | B1H6KW1VW7 | statement | open | Wikipedia Eakin–Nagata theorem#9I8P |
| Theorem | B1V1HGHHEE | statement | open | Wikipedia Hahn–Banach theorem#IQXY |
| Theorem | B49KDHT80S | statement | open | Wikipedia Cauchy's functional equation#FSN0 |
| Theorem | B64KCHYVEC | statement | open | Wikipedia Interpolation space#Q71E |