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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 3901–4000 of 10449.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Mazur | 4BPVDA28XT | definition | open | Wikipedia Glossary of functional analysis#8ENQ |
| Mazur manifold | ZGCEAG7NQN | definition | open | Wikipedia Mazur manifold, Wikidata Q6799047 |
| Mazur's conjecture B | MCYSV6X8GM | statement | open | Wikipedia Uniform boundedness conjecture for rational points#04S5 |
| Mazur's conjecture B | P4T3ZXK69W | statement | open | Wikipedia List of unsolved problems in mathematics#W56P |
| Mazur's control theorem | H2J76FWD54 | statement | open | Wikipedia List of theorems#MMV4 |
| Mazur's control theorem | HAQ53J1YWE | statement | open | mathlib_1000 Q6799039, Wikidata Q6799039, thousand_plus Q6799039, Wikipedia Mazur's control theorem |
| Mazur's lemma | HVSR6QAJEJ | statement | open | Wikipedia Mazur's lemma, Wikidata Q2226764 |
| Mazur's theorem | NCT25QDJ05 | statement | open | Wikipedia Mazur's lemma#7RIK |
| 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 | PK84EYQH4A | statement | open | Wikipedia List of theorems#8O38 |
| 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 | 23R3MSZEHK | statement | open | Wikipedia List of theorems#G483 |
| Mazur–Ulam theorem | VXFH0CDJKY | statement | open | mathlib_1000 Q1660147, Wikidata Q1660147, thousand_plus Q1660147, Wikipedia Mazur–Ulam theorem |
| Mazziotta–Pareto index | 7A1WRZA0KZ | unknown | open | Wikipedia List of statistics articles#YN1N |
| Mañjula (astronomer) | YCJA33B4H2 | unknown | open | Wikipedia List of Indian mathematicians#VSAO |
| 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 |
| Małgorzata Bogdan | N52YRR9GPP | topic | open | Wikipedia Małgorzata Bogdan, Wikidata Q95991574 |
| Małgorzata Klimek | 1T9EFYXY63 | topic | open | Wikipedia Małgorzata Klimek, Wikidata Q23750656 |
| Małgorzata Peszyńska | PX5VD9BA54 | topic | open | Wikipedia Małgorzata Peszyńska, Wikidata Q102236134 |
| 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 |
| MBBH71NY8X | MBBH71NY8X | 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 2609.20894#KLC3 |
| 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 |
| MBQB8WSE7Q | MBQB8WSE7Q | 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 2511.17751#HTKZ |
| MBQDXP0TZ6 | MBQDXP0TZ6 | conjecture | 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.31907#9IT0 |
| MBQFP8HJQN | MBQFP8HJQN | 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.02642#1UFH |
| MBQK9CV0Q6 | MBQK9CV0Q6 | 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.05829#GRWI |
| MBQMX1G135 | MBQMX1G135 | 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.09483#VD43 |
| MBQQ0TM81S | MBQQ0TM81S | 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.24078#QZL0 |
| MBR replicates Free Boundary MCF in $\Omega\subset \mathbb{R}^n$. | YP01NZYC4H | 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.37803#14QR |
| MBR replicates MCF in $\mathbb{R}^n$ | 72WYWXPZ4F | 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.37803#075Y |
| MBR4XHV1CV | MBR4XHV1CV | 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.04673#1ZHO |
| MBR9Y9XVQ7 | MBR9Y9XVQ7 | 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.09379#8DX6 |
| MBRKQJ741K | MBRKQJ741K | 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 2609.40207#0BA7 |
| MBTC | SX1C8YWYV6 | unknown | open | Wikipedia Bitcoin#X79L |
| MBTJH2Y1G1 | MBTJH2Y1G1 | 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 2210.01497#YOIE |
| MBTK5T20T7 | MBTK5T20T7 | 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.28597#970T |
| MBTNGKTEZC | MBTNGKTEZC | 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.15344#JIXG |
| MBV2S77GD1 | MBV2S77GD1 | 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.35762#07XK |
| MBV9J17AEJ | MBV9J17AEJ | proof | open | hott_book hits.tex#proof-16 |
| MBVQPKQJ4N | MBVQPKQJ4N | definition | open | hott_book reals.tex#defn:inductive-cover |
| MBW83N04AR | MBW83N04AR | exercise | open | levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-8 |
| MBW9H3G7QD | MBW9H3G7QD | 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.21954#MAEV |
| MBWC2CXZC5 | MBWC2CXZC5 | 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.11031#5FQ1 |