| Theorem | J1PWZMVQ0G | statement | open | Wikipedia Kullback–Leibler divergence#PI8E |
| Theorem | J2E17F6A25 | statement | open | Wikipedia Michael's theorem on paracompact spaces#DHKS |
| Theorem | J2SCXC89B4 | statement | open | Wikipedia Non-commutative conditional expectation#HFKO |
| Theorem | J2VE9C49AH | statement | open | Wikipedia Harmonic function#5B3X |
| Theorem | J3TCHVFNH3 | statement | open | Wikipedia Stability spectrum#T9NP |
| Theorem | J47M76QNX2 | statement | open | Wikipedia Riordan array#T68E |
| Theorem | J5N3ZAH0C4 | statement | open | Wikipedia Young's inequality for products#VNTR |
| Theorem | J8F4AXPGZ4 | statement | open | Wikipedia Narrow escape problem#3MSA |
| Theorem | J9N3CE8ZEK | statement | open | Wikipedia Graph flattenability#QXEJ |
| Theorem | J9SVB7X8MV | statement | open | Wikipedia Riemannian manifold#BMG7 |
| Theorem | JA2FEG09DF | statement | open | Wikipedia Dimension (graph theory)#X3N7 |
| Theorem | JB9ZJPKBEP | statement | open | Wikipedia Universal space#CKW4 |
| Theorem | JGNR26GAMA | statement | open | Wikipedia Measurable Riemann mapping theorem#KPEL |
| Theorem | JGSSE6GP8P | statement | open | Wikipedia Fatou's lemma#TI3E |
| Theorem | JHFEN79YZX | statement | open | Wikipedia Theorem of the gnomon#S9AS |
| Theorem | JJ6DN9BA6G | statement | open | Wikipedia Block design#R0VR |
| Theorem | JKXVHE0B3G | statement | open | Wikipedia Green's theorem#EYR0 |
| Theorem | JN4PVB2K71 | statement | open | Wikipedia Green's theorem#SK1R |
| Theorem | JPC37NX416 | statement | open | Wikipedia Hypocontinuous bilinear map#94CG |
| Theorem | JQBC20ZAZP | statement | open | Wikipedia Hahn–Banach theorem#JSG6 |
| Theorem | JQV0AES6Q3 | statement | open | Wikipedia Nerve (category theory)#24ZI |
| Theorem | JT27F01H5V | statement | open | Wikipedia Green's function#URXU |
| Theorem | JV8MCX26ZY | statement | open | Wikipedia Prokhorov's theorem#G0BU |
| Theorem | JVXPXKBKKH | statement | open | Wikipedia Newton–Gauss line#22OY |
| Theorem | K49AFFN1X5 | statement | open | Wikipedia Order topology (functional analysis)#97KM |
| Theorem | K4A6Y0WAC3 | statement | open | Wikipedia Sheaf of modules#G3LN |
| Theorem | K6K1CGCZN1 | statement | open | Wikipedia Symmetric hypergraph theorem#7KUL |
| Theorem | K6Q6ZN119N | statement | open | Wikipedia Separation principle in stochastic control#BTM2 |
| Theorem | K6RVDR5CX4 | statement | open | Wikipedia Heap (mathematics)#R654 |
| Theorem | K7S83160F6 | statement | open | Wikipedia Whitney inequality#KX5G |
| Theorem | K8E1HC07QF | statement | open | Wikipedia Sequence space#WQH3 |
| Theorem | KA3GHXNK7D | statement | open | Wikipedia Sub-Gaussian distribution#KZPI |
| Theorem | KB6GH7510X | statement | open | Wikipedia Inner product space#T3C2 |
| Theorem | KCKST7NEKH | statement | open | Wikipedia Nested radical#I99X |
| Theorem | KF77G3Z4GD | statement | open | Wikipedia Topologies on spaces of linear maps#VKGC |
| Theorem | KF7YAPYKE8 | statement | open | Wikipedia Gordon–Newell theorem#4TRK |
| Theorem | KGZJC94HX3 | statement | open | Wikipedia Closed graph theorem (functional analysis)#FY8Y |
| Theorem | KH24FXJK29 | statement | open | Wikipedia Reflexive space#QWFB |
| Theorem | KHFW0NV4ZZ | statement | open | Wikipedia Hemicontinuity#XYWH |
| Theorem | KHJGAXPYNC | statement | open | Wikipedia Countable set#RGWI |
| Theorem | KMRE3NQ81J | statement | open | Wikipedia Artin transfer (group theory)#JNW5 |
| Theorem | KN4WT136RD | statement | open | Wikipedia Gabriel–Popescu theorem#8UEU |
| Theorem | KNCN09DF8N | statement | open | Wikipedia Gelfand–Naimark theorem#V7LT |
| Theorem | KNXKZNY0AH | statement | open | Wikipedia Closed graph theorem (functional analysis)#I7LB |
| Theorem | KR8SMRCY2X | statement | open | Wikipedia Fatou–Bieberbach domain#FBGR |
| Theorem | KSRTPDF0JR | statement | open | Wikipedia Self-adjoint operator#347X |
| Theorem | KV4RHFC1P6 | statement | open | Wikipedia Large deviations theory#YZW8 |
| Theorem | KVEVS5ZRJK | statement | open | Wikipedia Squeeze theorem#G6JX |
| Theorem | KVYPB23CC9 | statement | open | Wikipedia Self-adjoint operator#30YX |
| Theorem | KW8N0CNEWT | statement | open | Wikipedia Open mapping theorem (functional analysis)#3JDE |
| Theorem | KXATQ1DEJH | statement | open | Wikipedia Splitting principle#1755 |
| Theorem | KXHWRZD538 | statement | open | Wikipedia Zemor's decoding algorithm#Z62R |
| Theorem | KY8HWZ9EW9 | statement | open | Wikipedia Geometry of binary search trees#6I5F |
| Theorem | KYH0Q9DB3N | statement | open | Wikipedia Varignon's theorem#APE7 |
| Theorem | KZKMZ3HDGC | statement | open | Wikipedia Bartlett's theorem#IIMD |
| Theorem | M1T0G4PRYT | statement | open | Wikipedia Complete topological vector space#XSJO |
| Theorem | M1YDVDK4V6 | statement | open | Wikipedia Uniform boundedness principle#3QUJ |
| Theorem | M25HYQ8BH8 | statement | open | Wikipedia Quaternionic eigenvalue problem#MNXG |
| Theorem | M4FF0P2A8J | statement | open | Wikipedia Stone–von Neumann theorem#QTLS |
| Theorem | M4QV490971 | statement | open | Wikipedia Poisson summation formula#Q8NS |
| Theorem | M93BCHCX4Q | statement | open | Wikipedia Pontryagin duality#CB5S |
| Theorem | MBFQ6YK8F0 | statement | open | Wikipedia Quasi-bialgebra#QDZG |
| Theorem | MC024XG2Y4 | statement | open | Wikipedia Divergence theorem#NEV0 |
| Theorem | MC9TTTXFMX | statement | open | Wikipedia Valuation (geometry)#IRTG |
| Theorem | MDS4VKDPQA | statement | open | Wikipedia Vitali covering lemma#7P8T |
| Theorem | ME9BRGYNFV | statement | open | Wikipedia Cramér's decomposition theorem#98MC |
| Theorem | MEDD8H3DZF | statement | open | Wikipedia Symbolic power of an ideal#89CH |
| Theorem | MESJY6G6JN | statement | open | Wikipedia Spectral theory#KFEG |
| Theorem | MFPX75DFD8 | statement | open | Wikipedia Minkowski functional#G5P0 |
| Theorem | MGC269W2B7 | statement | open | Wikipedia Brascamp–Lieb inequality#FT70 |
| Theorem | MGQRW25QE8 | statement | open | Wikipedia Cantor's intersection theorem#KL5E |
| Theorem | MGZ3S8FQ3F | statement | open | Wikipedia Banach space#F1Q4 |
| Theorem | MHH2GXC019 | statement | open | Wikipedia Direct integral#1UIQ |
| Theorem | MM0T18PP1T | statement | open | Wikipedia Poincaré–Birkhoff–Witt theorem#AY8V |
| Theorem | MN4QV1T672 | statement | open | Wikipedia Round-off error#S4VY |
| Theorem | MNQAGQ57AC | statement | open | Wikipedia Sonnenschein–Mantel–Debreu theorem#J86W |
| Theorem | MP7A1JNSVT | statement | open | Wikipedia Multiplier (Fourier analysis)#LM0U |
| Theorem | MR5QDTF9Y6 | statement | open | Wikipedia Mercer's theorem#PX9I |
| Theorem | MS2D748H2P | statement | open | Wikipedia CW complex#J956 |
| Theorem | MSNCKBGF3Z | statement | open | Wikipedia Approximately finite-dimensional C*-algebra#FNOV |
| Theorem | MST972F00J | statement | open | Wikipedia Binomial type#IVM0 |
| Theorem | MT17ZTXR32 | statement | open | Wikipedia Integration by substitution#PYNH |
| Theorem | MV4YES14PE | statement | open | Wikipedia Envelope theorem#M9KR |
| Theorem | MW1YMWP3TH | statement | open | Wikipedia Pontryagin duality#THFA |
| Theorem | MW7G723MZM | statement | open | Wikipedia Polar topology#6MRQ |
| Theorem | MWXBFD20G5 | statement | open | Wikipedia Countable set#18HA |
| Theorem | MX5XAGFG8H | statement | open | Wikipedia Positive current#C2CY |
| Theorem | MXFQART0NS | statement | open | Wikipedia Sparsity matroid#SOGZ |
| Theorem | MZ9E9PFZWT | statement | open | Wikipedia Hilbert's basis theorem#9T6Z |
| Theorem | N1YTP8ASD1 | statement | open | Wikipedia Polar topology#AA9W |
| Theorem | N4AF95YC9W | statement | open | Wikipedia Carnot's theorem (perpendiculars)#EZG5 |
| Theorem | N4H846QQJD | statement | open | Wikipedia Extreme value theorem#K2DF |
| Theorem | N5AHTNJ6NB | statement | open | Wikipedia Direct integral#5VMB |
| Theorem | N6S5204RFN | statement | open | Wikipedia Kostant polynomial#JZ8P |
| Theorem | N9FW7YSYMC | statement | open | Wikipedia Ekeland's variational principle#2EC1 |
| Theorem | N9KXZ85XT5 | statement | open | Wikipedia Hahn–Banach theorem#5OWZ |
| Theorem | NDD3QW063M | statement | open | Wikipedia Exponential mechanism#S2GH |
| Theorem | NDP7WJ1GB1 | statement | open | Wikipedia Hilbert's fourth problem#QYHH |
| Theorem | NE3RNQDM7B | statement | open | Wikipedia Inverse problem for Lagrangian mechanics#QW99 |
| Theorem | NEAPST1WGH | statement | open | Wikipedia Hopf decomposition#54JQ |