| Theorem | 1HTPNH2FHG | statement | open | Wikipedia Median voter theorem#ZLAB |
| Theorem | 1HWWF890F2 | statement | open | Wikipedia Block design#8F85 |
| Theorem | 1P5QPQV9RJ | statement | open | Wikipedia Schwarz–Ahlfors–Pick theorem#QALV |
| Theorem | 1RERN42DR1 | statement | open | Wikipedia Extensions of symmetric operators#06XB |
| Theorem | 1ST9H55JJY | statement | open | Wikipedia Squeeze mapping#8571 |
| Theorem | 1TYTB18P1E | statement | open | Wikipedia Noether normalization lemma#5Z5G |
| Theorem | 1V5JG6P0TY | statement | open | Wikipedia Outer measure#0Z3L |
| Theorem | 1VJHHCBD99 | statement | open | Wikipedia Generalized Stokes theorem#3BX7 |
| Theorem | 1X0C4HYVNS | statement | open | Wikipedia Integral equation#4F7N |
| Theorem | 1X4TV5BZ9W | statement | open | Wikipedia Cayley configuration space#YIGO |
| Theorem | 1X7K92V1Q5 | statement | open | Wikipedia Stokes' theorem#KNA4 |
| Theorem | 1XRCH92MRF | statement | open | Wikipedia Squeeze mapping#K9WM |
| Theorem | 1Y6EZBB4JX | statement | open | Wikipedia Banach space#C4A1 |
| Theorem | 1YENDS5AZ9 | statement | open | Wikipedia Jackson network#0DWN |
| Theorem | 1YFH1EB6G4 | statement | open | Wikipedia Standard probability space#Y1K6 |
| Theorem | 1ZZ6PGSJ0R | statement | open | Wikipedia Yamada–Watanabe theorem#L8WS |
| Theorem | 207W1BAVVZ | statement | open | Wikipedia Uniform limit theorem#783B |
| Theorem | 21NA7BMSDH | statement | open | Wikipedia Koszul complex#BXBN |
| Theorem | 21PMZ9WVJS | statement | open | Wikipedia Differentiable vector-valued functions from Euclidean space#GCYN |
| Theorem | 241TR325HW | statement | open | Wikipedia Sub-Gaussian distribution#G5YU |
| Theorem | 24Z7W69HJB | statement | open | Wikipedia Polynomial interpolation#Y6SF |
| Theorem | 24ZXNTDSRK | statement | open | Wikipedia Eilenberg–Ganea theorem#U4LA |
| Theorem | 254BS1F834 | statement | open | Wikipedia Schmidt decomposition#B1DY |
| Theorem | 25ED40J0Y4 | statement | open | Wikipedia Hilbert–Samuel function#Y6MH |
| Theorem | 26420QPWGB | statement | open | Wikipedia Characteristic samples#DVX2 |
| Theorem | 28WMXK2KD8 | statement | open | Wikipedia Cantor's intersection theorem#K861 |
| Theorem | 28ZV3AVKW7 | statement | open | Wikipedia Segre's theorem#ZVBU |
| Theorem | 2A89C5AV53 | statement | open | Wikipedia Banach function algebra#KI58 |
| Theorem | 2B4GZXM62A | statement | open | Wikipedia Winding number#RNYM |
| Theorem | 2BYTK6KX25 | statement | open | Wikipedia Minkowski functional#ZZEL |
| Theorem | 2BZVCJZ6MZ | statement | open | Wikipedia Brascamp–Lieb inequality#5BGL |
| Theorem | 2DM0ERRXWB | statement | open | Wikipedia Murnaghan–Nakayama rule#LYKE |
| Theorem | 2E24E4X7QN | statement | open | Wikipedia Direct integral#XWN3 |
| Theorem | 2EMG7NZAQT | statement | open | Wikipedia Lee–Yang theorem#BVBT |
| Theorem | 2F3J8MC7YN | statement | open | Wikipedia Bounded variation#L5AB |
| Theorem | 2F8S15VEGQ | statement | open | Wikipedia Leibniz formula for determinants#E8E7 |
| Theorem | 2G7SKVZ72S | statement | open | Wikipedia Heine–Borel theorem#WL3A |
| Theorem | 2H0YZTF5SY | statement | open | Wikipedia Zeuthen strategy#A4DR |
| Theorem | 2J6N4KDK8H | statement | open | Wikipedia Arakelyan's theorem#BI38 |
| Theorem | 2JMVWRSGN7 | statement | open | Wikipedia Banach space#WIAI |
| Theorem | 2KDW7YBTXW | statement | open | Wikipedia Entanglement witness#ZIQD |
| Theorem | 2NTM45E2R2 | statement | open | Wikipedia Mordell–Weil group#84B4 |
| Theorem | 2Q4N5VMZZW | statement | open | Wikipedia Central limit theorem#35TW |
| Theorem | 2Q817H48CD | statement | open | Wikipedia Spectral radius#YKCN |
| Theorem | 2QJTDN0QC8 | statement | open | Wikipedia Predictive state representation#DD3L |
| Theorem | 2QYZHXMN35 | statement | open | Wikipedia Chebyshev–Markov–Stieltjes inequalities#NXDZ |
| Theorem | 2R0J4Z0NCY | statement | open | Wikipedia Implicit function theorem#FXGN |
| Theorem | 2RK4HQPN4N | statement | open | Wikipedia Reflexive space#YILH |
| Theorem | 2THHKD7ACA | statement | open | Wikipedia Direct integral#79EU |
| Theorem | 2VJPKG90W4 | statement | open | Wikipedia Riemannian manifold#IR0O |
| Theorem | 2WCY9VZRXB | statement | open | Wikipedia Creative and productive sets#9240 |
| Theorem | 2WN78Y75TR | statement | open | Wikipedia Leibniz integral rule#04N9 |
| Theorem | 2XV3GQY080 | statement | open | Wikipedia Erdős–Szemerédi theorem#YNJY |
| Theorem | 2YGECVQJJP | statement | open | Wikipedia Theta function#QKOG |
| Theorem | 30K8M4TQBW | statement | open | Wikipedia Uniform boundedness principle#00QD |
| Theorem | 311GSFS5FF | statement | open | Wikipedia Intermediate value theorem#MXIT |
| Theorem | 31PETY179G | statement | open | Wikipedia Beauville–Laszlo theorem#T2V6 |
| Theorem | 322F05MFPV | statement | open | Wikipedia Polyadic space#IOSP |
| Theorem | 326ZCDYFJQ | statement | open | Wikipedia Geometric rigidity#FWQU |
| Theorem | 341047SMT9 | statement | open | Wikipedia Primary decomposition#YR1Q |
| Theorem | 34JP1PJXKT | statement | open | Wikipedia Riesz–Markov–Kakutani representation theorem#KA21 |
| Theorem | 34RQMWH56N | statement | open | Wikipedia Zorich's theorem#IAXO |
| Theorem | 37VAPBREV4 | statement | open | Wikipedia Quasiconvexity (calculus of variations)#OP8T |
| Theorem | 388B34D99R | statement | open | Wikipedia Barrelled space#4XN7 |
| Theorem | 38Q2RP45P0 | statement | open | Wikipedia Frame (linear algebra)#F09O |
| Theorem | 3A91QDRZ81 | statement | open | Wikipedia Matrix sign function#88VC |
| Theorem | 3AXDFH9ZCG | statement | open | Wikipedia Chapman–Robbins bound#WUX6 |
| Theorem | 3E33PFARKM | statement | open | Wikipedia Priestley space#YBR4 |
| Theorem | 3F8NAP2SF1 | statement | open | Wikipedia Geometric rigidity#BNW0 |
| Theorem | 3H9A2TRSY8 | statement | open | Wikipedia Clifford theory#C6L4 |
| Theorem | 3JN21AMYQS | statement | open | Wikipedia Myhill isomorphism theorem#T84W |
| Theorem | 3K9N5965NH | statement | open | Wikipedia Locally convex topological vector space#YNMQ |
| Theorem | 3MCD3ZT0TJ | statement | open | Wikipedia Chapman–Robbins bound#GGWK |
| Theorem | 3NV1ZV1BTH | statement | open | Wikipedia Reproducing kernel Hilbert space#FKVD |
| Theorem | 3QG6VQ2VJA | statement | open | Wikipedia Artin transfer (group theory)#2WIS |
| Theorem | 3RKMZ4CN2K | statement | open | Wikipedia Bourbaki–Witt theorem#KD45 |
| Theorem | 3V2EQYD44T | statement | open | Wikipedia Semi-Thue system#73VW |
| Theorem | 3VFYZZ5BQ1 | statement | open | Wikipedia Locally recoverable code#DJLD |
| Theorem | 3VWHK8E37S | statement | open | Wikipedia Sinkhorn's theorem#5Y9L |
| Theorem | 3W8B53RH92 | statement | open | Wikipedia Morphism of algebraic varieties#S9VZ |
| Theorem | 3WN0G45EWX | statement | open | Wikipedia Hahn–Banach theorem#PB24 |
| Theorem | 3WXPQQX49P | statement | open | Wikipedia Uncertainty principle#KMSP |
| Theorem | 3YQ7NEQBVW | statement | open | Wikipedia Multinomial distribution#DIE4 |
| Theorem | 3YWXNFY58T | statement | open | Wikipedia Entire function#31KI |
| Theorem | 408N3K6K0V | statement | open | Wikipedia Sparsity matroid#WY1H |
| Theorem | 40FDQFP2C8 | statement | open | Wikipedia Projection-valued measure#07II |
| Theorem | 40PNTY0E77 | statement | open | Wikipedia Central limit theorem#AWCM |
| Theorem | 415Z06YH0T | statement | open | Wikipedia Inner product space#4BGU |
| Theorem | 42BWPKKXV9 | statement | open | Wikipedia Olech theorem#7VIS |
| Theorem | 42V9N7QGDB | statement | open | Wikipedia Continuous functional calculus#QBL8 |
| Theorem | 438QP25X7A | statement | open | Wikipedia Banach space#WM97 |
| Theorem | 44DSFFSS7T | statement | open | Wikipedia Locally convex vector lattice#NBF2 |
| Theorem | 44JRFBWNY3 | statement | open | Wikipedia Cantor space#QXYQ |
| Theorem | 4507S65EGT | statement | open | Wikipedia Locally convex topological vector space#8PCO |
| Theorem | 45D1PKKACF | statement | open | Wikipedia Kolmogorov complexity#5Y2L |
| Theorem | 475T4D6KHP | statement | open | Wikipedia Tsirelson's stochastic differential equation#MJ0Z |
| Theorem | 47G5TS59XF | statement | open | Wikipedia Small boundary property#NAGC |
| Theorem | 48535GY1M2 | statement | open | Wikipedia Filters in topology#1LMV |
| Theorem | 48VG2WQB63 | statement | open | Wikipedia Cartan–Ambrose–Hicks theorem#RZRT |
| Theorem | 490SFK77YK | statement | open | Wikipedia Metrizable topological vector space#WF3Q |