Inventory: M
The rows of the inventory whose names start with M. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 1701–1800 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| maximum, relative | XXE6KC82TC | concept | open | lebl_ra index/3.2.1/maximum-relative |
| maximum, strict relative | 1FS1A0GF2K | concept | open | lebl_ra index/3.3.2/maximum-strict-relative |
| Maximum-Entropy Family of Two-Boundary Combinations | CHJQ2BR06F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27120#SDET |
| maximum-minimum theorem | QNBM5T25TG | concept | open | lebl_ra index/2.3.1/maximum-minimum-theorem |
| Maximum-norm consistency of the regularized reconstruction | 26N3QFMR6X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10484#Z5D7 |
| Maximum-norm stability of the regularized reconstruction operator | P0YQMRJ8VT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10484#CETK |
| Maximum-principle bound for compact minimal PTR solitons | WD7VZN8441 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00077#BXCA |
| Maximums Occur On Boundaries | B88V52SQ3V | exercise | open | napkin tex/complex-ana/holomorphic.tex#dproblem-1 |
| MAXP27RMN1 | MAXP27RMN1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0902.4887#UW0V |
| maxwell | N15PSH40J3 | definition | open | Wikidata Q608697, ProofWiki Definition:Maxwell_(Unit) |
| Maxwell trace | 604YBXK6AT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24481#RIC7 |
| Maxwell's equations | 41XDPCC23P | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.29847#N2JZ |
| Maxwell's equations | 597ZQYTXQJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.29847#F3V6 |
| Maxwell's equations | D8D63XS7F3 | statement | open | Wikidata Q51501, EoM Maxwell_equations, MathWorld MaxwellsEquations, nLab Maxwell's equations, ProofWiki Maxwell's_Equations |
| Maxwell's theorem | RKDJTZJDTN | statement | open | mathlib_1000 Q6796056, Wikidata Q6796056, thousand_plus Q6796056, Wikipedia Maxwell's theorem |
| Maxwell-type necessary count | 7ZQKJJFAVV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17004#A4RZ |
| Maxwell–Boltzmann distribution | RYHXT8FYXX | unknown | open | Wikidata Q634965, MathWorld MaxwellDistribution |
| May spectral sequence | YP4S3B45XK | unknown | open | Wikidata Q6796623, nLab May spectral sequence |
| May's Convergence Theorem | Y0E7GVJ42Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#RCT2 |
| May's theorem | 1NFVK54NTJ | statement | open | mathlib_1000 Q1056283, Wikidata Q1056283, thousand_plus Q1056283, Wikipedia May's theorem, MathWorld MaysTheorem |
| MAYC15HRY5 | MAYC15HRY5 | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.05628#7F40 |
| Mayer problem | N0G95DNY8V | problem | open | Wikidata Q12105293, EoM Mayer_problem |
| Mayer-Vietoris long exact sequence | 1QSTJEK2QF | statement | open | napkin tex/homology/long-exact.tex#theorem-1 |
| Mayer-Vietoris long exact sequence, provisional version | 6N490D7FWB | example | open | napkin tex/homology/long-exact.tex#example-2 |
| Mayer-Vietoris Sequence | JDQPMETFZF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.0068#GPV4 |
| Mayer-Vietoris sequence for graphs | 9HFRJXJW12 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03497#57QC |
| Mayer–Vietoris sequence | QJBTMTDFRJ | concept | open | Wikidata Q2421905, nLab Mayer-Vietoris sequence |
| MAYG8CVKZV | MAYG8CVKZV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17677#S61G |
| Maz'ya | PDBPJWN8RN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1503.05744#KTFG |
| MAZ1X1Q3HW | MAZ1X1Q3HW | proof | open | hott_book hlevels.tex#proof-11 |
| MAZBTYK7G1 | MAZBTYK7G1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.00146#CFFS |
| MAZCREYFZR | MAZCREYFZR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04398#E3IZ |
| maze | T86QCXARMP | unknown | open | Wikidata Q606777, MathWorld Maze |
| MAZS2RWHAV | MAZS2RWHAV | exercise | open | applied_combinatorics source/s_polya_exercises.ptx#exercise-9 |
| MAZTYEFWDN | MAZTYEFWDN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.08226#2YUW |
| Mazur's control theorem | HAQ53J1YWE | statement | open | mathlib_1000 Q6799039, Wikidata Q6799039, thousand_plus Q6799039, Wikipedia Mazur's control theorem |
| Mazur's Theorem | SHBF2P1GRT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.08253#29BN |
| Mazur's torsion theorem | W33B957EJV | statement | open | mathlib_1000 Q7827204, Wikidata Q7827204, thousand_plus Q7827204, Wikipedia Mazur's torsion theorem |
| Mazur, 1977 | NAMJ47T97N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27049#9C7P |
| Mazur–Ulam theorem | VXFH0CDJKY | statement | open | mathlib_1000 Q1660147, Wikidata Q1660147, thousand_plus Q1660147, Wikipedia Mazur–Ulam theorem |
| Mañé's infinitesimal criterion | GMKRJEYJXF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.05499#CVGF |
| MB02MXFG2J | MB02MXFG2J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.29918#68OT |
| MB0F4B831N | MB0F4B831N | exercise | open | lebl_ra ch-multivar-int.tex#exercise-30 |
| MB0RHB11WA | MB0RHB11WA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.33590#VCVU |
| MB0Y5KD946 | MB0Y5KD946 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03336#0YO4 |
| MB146RAYZH | MB146RAYZH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39700#P5YF |
| MB16RPACJR | MB16RPACJR | exercise | open | hott_book hits.tex#ex:unnatural-endomorphisms |
| MB1RHJP6XF | MB1RHJP6XF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.18564#LJ2H |
| MB2F4WV0JS | MB2F4WV0JS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.30285#GG8A |
| MB2WYMJ03G | MB2WYMJ03G | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1002.0879#AJ49 |
| MB31NZTGYS | MB31NZTGYS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2308.05715#X4WL |
| MB32F1XJB2 | MB32F1XJB2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02628#QW6A |
| MB34GKQ4C3 | MB34GKQ4C3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.33814#YN1B |
| MB3DV8WD2G | MB3DV8WD2G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.40274#T4B3 |
| MB3TPH076V | MB3TPH076V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05312#1XEA |
| MB42H36GGZ | MB42H36GGZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04252#7EYR |
| MB4KZ73SVN | MB4KZ73SVN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.02722#DUYB |
| MB51EK9P0A | MB51EK9P0A | proof | open | hott_book equivalences.tex#proof-17 |
| MB59ETM3WY | MB59ETM3WY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05506#RHSL |
| MB5YPSYGQ2 | MB5YPSYGQ2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14841#F59W |
| MB651ZJQT9 | MB651ZJQT9 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.08837#X817 |
| MB6B2J96MY | MB6B2J96MY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38742#EVNS |
| MB6J2EGQVD | MB6J2EGQVD | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.34856#08MQ |
| MB6MAT5P6J | MB6MAT5P6J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.36456#EITL |
| MB6Y9SM434 | MB6Y9SM434 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.07511#W8SZ |
| MB7DNT4A2P | MB7DNT4A2P | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02174#V2AG |
| MB7XCPCZD2 | MB7XCPCZD2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.05191#Z3Y8 |
| MB82EKH032 | MB82EKH032 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04135#BVDV |
| MB8E91N5CK | MB8E91N5CK | exercise | open | active_calculus source/activities/act-4-3-3.xml#act-4-3-3 |
| MB8R7BV3KA | MB8R7BV3KA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00375#UOZH |
| MB9916Z5DB | MB9916Z5DB | statement | open | lebl_ra ch-approximate.tex#prop-10 |
| MBAAFZ1526 | MBAAFZ1526 | problem | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04466#9UW4 |
| MBAPBFD6QE | MBAPBFD6QE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06872#JAOZ |
| MBCRA8FZF5 | MBCRA8FZF5 | definition | open | lebl_ra ch-multivar-int.tex#defn-6 |
| MBCWWP22X8 | MBCWWP22X8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.21971#RLXB |
| MBDDHPBT3P | MBDDHPBT3P | exercise | open | levin_dmoi ptx/exercises/gt-conc.ptx#exercise-23 |
| MBDEXJ7009 | MBDEXJ7009 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18377#2R7B |
| MBE2Y2J7G2 | MBE2Y2J7G2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20600#DKNR |
| MBE4W7SR2X | MBE4W7SR2X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2508.21045#QSEY |
| MBEZN38YNA | MBEZN38YNA | statement | open | hott_book logic.tex#thm:isset-is1type |
| MBFDE73DH8 | MBFDE73DH8 | exercise | open | lebl_scv scv.tex#exercise-18 |
| MBG3R25NA2 | MBG3R25NA2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28200#4JUI |
| MBG7NH0HA3 | MBG7NH0HA3 | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-30 |
| MBGC0VD4QQ | MBGC0VD4QQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.31858#FDRA |
| MBGC2EC2R2 | MBGC2EC2R2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02681#0MAV |
| MBGY711E1C | MBGY711E1C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14811#XF1H |
| MBH5YPERGW | MBH5YPERGW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24307#S25I |
| MBHAVPATF6 | MBHAVPATF6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.04068#V5GT |
| MBJ9ZZ9WEP | MBJ9ZZ9WEP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.36412#G7FE |
| MBJFA2W413 | MBJFA2W413 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10247#38EA |
| MBJXTE9TQC | MBJXTE9TQC | definition | open | lebl_ra ch-approximate.tex#defn-6 |
| MBK55VSTCP | MBK55VSTCP | statement | open | open_logic content/first-order-logic/completeness/identity.tex#lem:val-in-termmodel-factored |
| MBKY81B31V | MBKY81B31V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21762#14M0 |
| MBM63ZE6NB | MBM63ZE6NB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10660#70JB |
| MBNCAVWPKG | MBNCAVWPKG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15535#Q7OZ |
| MBNF4PYA7Z | MBNF4PYA7Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03661#7R8T |
| MBNHQFMHEW | MBNHQFMHEW | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-13 |
| MBP79QGW66 | MBP79QGW66 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14450#M1EF |
| MBQ6WVHCZN | MBQ6WVHCZN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11700#K0TX |
| MBQB8EE369 | MBQB8EE369 | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.01247#WX73 |