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 201–300 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| M2CVZJD6VT | M2CVZJD6VT | 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.13122#COHL |
| M2D2R654JF | M2D2R654JF | 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 math/0406514#Q425 |
| M2D4SPMHTZ | M2D4SPMHTZ | 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.04434#J0YD |
| M2D93DV3E9 | M2D93DV3E9 | 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.36411#D97L |
| M2D9P16C7Y | M2D9P16C7Y | 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#PMG3 |
| M2EQE3CVQ1 | M2EQE3CVQ1 | 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.22074#6NHY |
| M2FC980PPE | M2FC980PPE | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-106 |
| M2GAA6H7NV | M2GAA6H7NV | 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.02432#1GOR |
| M2GAWPSRN5 | M2GAWPSRN5 | exercise | open | napkin tex/alg-geom/localization.tex#problem-1 |
| M2GYDBX549 | M2GYDBX549 | 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.04835#NV6B |
| M2H431QVRC | M2H431QVRC | 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.31269#5E4Q |
| M2HBANQ2DK | M2HBANQ2DK | proof | open | open_logic content/set-theory/card-arithmetic/fix.tex#proof-4 |
| M2HC8WWNSS | M2HC8WWNSS | 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.18536#QS2T |
| M2HET7N3T5 | M2HET7N3T5 | 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.21632#QQVF |
| M2HWDZF23Q | M2HWDZF23Q | 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.21322#LIIY |
| M2J8FX7C91 | M2J8FX7C91 | 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.26307#JYGC |
| M2JANB71AD | M2JANB71AD | 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.06310#2Y80 |
| M2JJKCV9YE | M2JJKCV9YE | 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.12108#7IMK |
| M2K6NH8AP5 | M2K6NH8AP5 | 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.09422#4B3G |
| M2KAKT64P6 | M2KAKT64P6 | 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.40214#0GHI |
| M2KTKPXZT8 | M2KTKPXZT8 | 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.09278#7ZDP |
| M2KYP9MTYT | M2KYP9MTYT | unknown | open | arXiv 2306.16411#J9VO |
| M2M13SQCFK | M2M13SQCFK | proof | open | hott_book setmath.tex#proof-9 |
| M2MEFJYF8J | M2MEFJYF8J | 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 2610.17240#XUZ5 |
| M2MF0YED3G | M2MF0YED3G | 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 2112.05010#EE7L |
| M2NBPXVYY3 | M2NBPXVYY3 | 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.28501#TK9X |
| M2P5KMV7H7 | M2P5KMV7H7 | 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 2409.19687#9Z4T |
| M2P7AXCH9N | M2P7AXCH9N | 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 math/9201244#YK2F |
| M2PTG27FRX | M2PTG27FRX | 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.29531#QRCZ |
| M2PX8B5TH9 | M2PX8B5TH9 | 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.09926#2FHK |
| M2Q1KFNYKZ | M2Q1KFNYKZ | 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.28337#LHFO |
| M2QABTYNHQ | M2QABTYNHQ | 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 math/9602216#E3I8 |
| M2QDQQP8Y1 | M2QDQQP8Y1 | 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.01946#S5W2 |
| M2QF90TY4A | M2QF90TY4A | 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.12908#MELB |
| M2QT7YAW72 | M2QT7YAW72 | 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.35597#T600 |
| M2R4EQ8YE3 | M2R4EQ8YE3 | 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.00798#RCY1 |
| M2R8WB11NA | M2R8WB11NA | 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 2212.06621#L1Z9 |
| M2RF7YFWZG | M2RF7YFWZG | 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.28552#POSS |
| M2RM63SVTY | M2RM63SVTY | 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.20568#E6NZ |
| M2RT0JMYXP | M2RT0JMYXP | 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.25960#0APV |
| M2T3BEY8MB | M2T3BEY8MB | 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.13877#F1RL |
| M2TAW3H6TW | M2TAW3H6TW | 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.07718#U1IS |
| M2TCZX2BDF | M2TCZX2BDF | 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.20956#LMBH |
| M2VQHZQCEE | M2VQHZQCEE | 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.25188#NDAT |
| M2W0WTV11F | M2W0WTV11F | 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.36613#HKSC |
| M2W5KTNWAV | M2W5KTNWAV | 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.37706#KCYD |
| M2WRWW13AP | M2WRWW13AP | 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.31445#R803 |
| M2WY1563H5 | M2WY1563H5 | 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 2601.10370#SBZL |
| M2X187721G | M2X187721G | exercise | open | lebl_ra ch-real-nums.tex#exercise-3 |
| M2X65KPDFZ | M2X65KPDFZ | 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 1711.00219#D072 |
| M2XCT9KNXS | M2XCT9KNXS | 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.28411#RX6A |
| M2XJ85PHFQ | M2XJ85PHFQ | 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.19437#T04V |
| M2Y83BSNDX | M2Y83BSNDX | 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.15831#MWOD |
| M2YAXN3ZS6 | M2YAXN3ZS6 | 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.36181#MVAA |
| M2YE52EW8P | M2YE52EW8P | 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.05403#C1B6 |
| M2Z2VDNTDH | M2Z2VDNTDH | 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.14435#GYZ2 |
| M2ZREB7BB8 | M2ZREB7BB8 | statement | open | hott_book logic.tex#thm:omit-contr |
| M2ZZKHWY16 | M2ZZKHWY16 | 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.25656#EHU2 |
| M30D99QPEB | M30D99QPEB | 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.07790#YKJ6 |
| M30X6459MB | M30X6459MB | 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.16883#H82K |
| M3241Q5TTT | M3241Q5TTT | 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.18302#RF4H |
| M32CP9HGV4 | M32CP9HGV4 | 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.39347#OMFU |
| M32D7BHGKG | M32D7BHGKG | 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.07398#TFH7 |
| M331S1GDQW | M331S1GDQW | statement | open | napkin tex/rep-theory/applications.tex#theorem-3 |
| M33BQTFFJ8 | M33BQTFFJ8 | 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.31523#GNX8 |
| M33P3EERJB | M33P3EERJB | 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.16580#901U |
| M33PBRHQSX | M33PBRHQSX | example | open | active_calculus source/sec-6-4-physics.xml#example-2 |
| M34A3F3XEE | M34A3F3XEE | 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.30323#ILZ7 |
| M357RZ18H6 | M357RZ18H6 | 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.03292#FNW9 |
| M35ASPRARB | M35ASPRARB | 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.07180#L0QM |
| M35DNCZ5G1 | M35DNCZ5G1 | 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.28020#L06E |
| M35K1GAVZQ | M35K1GAVZQ | proof | open | open_logic content/normal-modal-logic/filtrations/examples-of-filtrations.tex#proof-2 |
| M35R5W188J | M35R5W188J | 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.05459#B6SA |
| M361FAAQZN | M361FAAQZN | 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.28411#R1F8 |
| M36EYM2RAS | M36EYM2RAS | 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.27694#HI7S |
| M36VT6592V | M36VT6592V | 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.26713#9T1N |
| M374PFVDG1 | M374PFVDG1 | exercise | open | lebl_ra ch-approximate.tex#exercise-8 |
| M37E5C51A3 | M37E5C51A3 | definition | open | austin_ula src/section4-3.xml#definition-1 |
| M37PC5KK4H | M37PC5KK4H | 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.20178#O8SY |
| M37RC96J1D | M37RC96J1D | 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#L5ME |
| M37XKR1M68 | M37XKR1M68 | 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.09324#AUL0 |
| M38A1T80FG | M38A1T80FG | 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.09133#2MH6 |
| M38FN6VVKB | M38FN6VVKB | 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 2304.13811#K1OD |
| M39R0G3SC3 | M39R0G3SC3 | 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.26357#WMQY |
| M39ZNR5Q8F | M39ZNR5Q8F | 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 math/9602216#BTKU |
| M3A7A2QCWF | M3A7A2QCWF | 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.10469#YKU7 |
| M3AB4Z481W | M3AB4Z481W | 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.02570#CUSX |
| M3BKEK1F9S | M3BKEK1F9S | 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 2404.06445#ZKX1 |
| M3CEDJ2CSZ | M3CEDJ2CSZ | 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.25656#VGXV |
| M3CWV7DENF | M3CWV7DENF | proof | open | open_logic content/sets-functions-relations/functions/functions-relations.tex#proof-1 |
| M3D8RBGCH6 | M3D8RBGCH6 | 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.19461#ZWIV |
| M3F5XG7492 | M3F5XG7492 | 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 2109.12716#U7TG |
| M3FMS2SC8Y | M3FMS2SC8Y | 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#8PXM |
| M3GR523VAT | M3GR523VAT | 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 2604.23212#RCB1 |
| M3GVJ4DJF5 | M3GVJ4DJF5 | 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.4587#T0O0 |
| M3HWPQJ93X | M3HWPQJ93X | example | open | levin_dmoi ptx/sec_intro-functions.ptx#example-6 |
| M3JDWQVB3A | M3JDWQVB3A | 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.20466#XZSY |
| M3JNZYF4X0 | M3JNZYF4X0 | 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 2212.01916#20S7 |
| M3JSYQPA7X | M3JSYQPA7X | 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 2406.13841#K4U4 |
| M3JTHRKJC9 | M3JTHRKJC9 | unknown | open | arXiv 2011.11439#9BR5 |