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 4001–4100 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| MRF3QB4WF2 | MRF3QB4WF2 | 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.02295#R5BA |
| MRF40MHNJC | MRF40MHNJC | 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.00786#VVCV |
| MRFADNK3F0 | MRFADNK3F0 | 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.07741#0RRM |
| MRFCTWCGS9 | MRFCTWCGS9 | 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.12489#AX5F |
| MRFJJ7KEP1 | MRFJJ7KEP1 | 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.30363#HA2Q |
| MRFPHG2Z93 | MRFPHG2Z93 | proof | open | napkin tex/set-theory/forcing.tex#proof-4 |
| MRGTAWGESJ | MRGTAWGESJ | 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.05706#UKHZ |
| MRK5KM81NW | MRK5KM81NW | 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.36309#LHAU |
| MRKG6AKD7G | MRKG6AKD7G | 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 2407.06927#R9LK |
| MRKQKEXPC3 | MRKQKEXPC3 | 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.32478#OJCK |
| MRM4T9FJTF | MRM4T9FJTF | 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/0406514#DV7H |
| MRMKAJB3AG | MRMKAJB3AG | exercise | open | lebl_diffyqs ch-systems.tex#exercise-22 |
| MRN11ZTM09 | MRN11ZTM09 | 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.03746#EN2Z |
| MRN25CRHB4 | MRN25CRHB4 | 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.38206#VU4U |
| MRNJVC3S2W | MRNJVC3S2W | 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 2506.18195#XRZC |
| MRPTCWRJY4 | MRPTCWRJY4 | unknown | open | arXiv 2610.13680#2XEK |
| MRQ0P8CGGJ | MRQ0P8CGGJ | 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 2312.05005#PDHP |
| MRQ3SMH0X8 | MRQ3SMH0X8 | 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.06806#5B7S |
| MRQEPCB9AP | MRQEPCB9AP | definition | open | napkin tex/set-theory/cardinal.tex#definition-11 |
| MRQGPZR6RC | MRQGPZR6RC | exercise | open | napkin tex/measure/pontryagin.tex#problem-1 |
| MRQXM0P6XW | MRQXM0P6XW | 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.04179#YXC7 |
| MRQZGNQDQG | MRQZGNQDQG | exercise | open | austin_ula src/exercises/exercises3-4.xml#exercise-6 |
| MRR2NVCXHE | MRR2NVCXHE | 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 2512.07340#SCHI |
| MRRMG44KJN | MRRMG44KJN | 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.03358#AU95 |
| MRRT9H8CA1 | MRRT9H8CA1 | 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.25289#RW86 |
| MRRTJ7MQPV | MRRTJ7MQPV | 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.13888#2AC9 |
| MRS2PQN5A2 | MRS2PQN5A2 | 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.04355#7O2V |
| MRS6958C2F | MRS6958C2F | 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 2609.25063#OOJ1 |
| MRSW5QG8F8 | MRSW5QG8F8 | 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.14217#LAG4 |
| MRSX6QD9WG | MRSX6QD9WG | 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.24374#7F6K |
| MRT6B5HTRV | MRT6B5HTRV | 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/0301148#S0YI |
| MRTAAKN38V | MRTAAKN38V | 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#AZMO |
| MRTHZA5KR2 | MRTHZA5KR2 | 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.33231#WN2D |
| MRV9702RZP | MRV9702RZP | 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.35600#IS4D |
| MRV9T3SE22 | MRV9T3SE22 | 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.31102#P8LD |
| MRVA39BRF3 | MRVA39BRF3 | 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.07728#SXU2 |
| MRVEW5BJ1J | MRVEW5BJ1J | 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.33019#GZU2 |
| MRVY9HBN2R | MRVY9HBN2R | 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.25275#4ZUN |
| MRW6PRHBK6 | MRW6PRHBK6 | exercise | open | levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-7 |
| MRWCBH7TH8 | MRWCBH7TH8 | 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.09506#FVHI |
| MRYESQQ8GJ | MRYESQQ8GJ | exercise | open | lebl_diffyqs ch-systems.tex#exercise-28 |
| MRYJVEBDSN | MRYJVEBDSN | 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.26479#TWED |
| MRZ09BS2K7 | MRZ09BS2K7 | 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.13556#ZRD7 |
| MRZ4ZNCH0Z | MRZ4ZNCH0Z | 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.39793#U764 |
| MRZ6SWVTR9 | MRZ6SWVTR9 | 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.16225#68E0 |
| MRZ866DDHW | MRZ866DDHW | 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.28306#IFP2 |
| MRZCMEXA3J | MRZCMEXA3J | 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.14060#RUN0 |
| MS0CE4GQ8A | MS0CE4GQ8A | 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.12480#9TF0 |
| MS0DNA8507 | MS0DNA8507 | proof | open | hott_book hits.tex#proof-24 |
| MS0SNFAN10 | MS0SNFAN10 | 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.33313#45N1 |
| MS1EX13MHN | MS1EX13MHN | 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.29574#803X |
| MS324Y6DFS | MS324Y6DFS | 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.21622#JT8B |
| MS366NPYF8 | MS366NPYF8 | 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.09672#YXMW |
| MS3N7ZTYSG | MS3N7ZTYSG | exercise | open | hott_book preliminaries.tex#ex:add-nat-commutative |
| MS42GA6X4R | MS42GA6X4R | 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.24902#8VDS |
| MS4EFEHT7H | MS4EFEHT7H | 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.24363#MMF4 |
| MS4NR8H4QJ | MS4NR8H4QJ | 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.13782#KYY9 |
| MS4P3KXQHJ | MS4P3KXQHJ | 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.19669#BMEP |
| MS5QKTHPZ4 | MS5QKTHPZ4 | 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 1002.0879#FCST |
| MS5YPA50ES | MS5YPA50ES | exercise | open | lebl_ra ch-approximate.tex#exercise:maxprinciple |
| MS68HEK628 | MS68HEK628 | 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.34289#UX8F |
| MS6AZJ98B7 | MS6AZJ98B7 | example | open | levin_dmoi ptx/sec_counting-proofs.ptx#example-2 |
| MS7TYAAV1Y | MS7TYAAV1Y | 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.11301#8LW6 |
| MS8A9V2PPG | MS8A9V2PPG | 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.02901#ZT8E |
| MS8NW9FH5Y | MS8NW9FH5Y | 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 2512.16003#75YF |
| MS8WX5D6N7 | MS8WX5D6N7 | 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.31413#9PUZ |
| MS92SF4SVG | MS92SF4SVG | 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.12329#1SPC |
| MS9338SNVW | MS9338SNVW | statement | open | hott_book basics.tex#thm:omg |
| MS99P65BB5 | MS99P65BB5 | 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.32033#AVWG |
| MSAMWJH8C8 | MSAMWJH8C8 | 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.08500#6QT7 |
| MSBS3NXQ10 | MSBS3NXQ10 | 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.36444#U3Z9 |
| MSBV6J4ZMZ | MSBV6J4ZMZ | 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.19866#A5FJ |
| MSCP9JJPP4 | MSCP9JJPP4 | 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.25255#AEIB |
| MSD6WF688J | MSD6WF688J | 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.09594#YUPX |
| MSDGP8V43Y | MSDGP8V43Y | exercise | open | lebl_scv scv.tex#exercise:fminusgsubharmonic |
| MSE input-to-logit Gaussian classification | T5AF6MX6X7 | 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.39190#4JK4 |
| MSE5CCPSWT | MSE5CCPSWT | 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.07001#60WD |
| MSEHPFX8N7 | MSEHPFX8N7 | proof | open | lebl_ra ch-contfunc.tex#proof-20 |
| MSEN4X2EKF | MSEN4X2EKF | 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.06338#EGXC |
| MSFBRKP1Z4 | MSFBRKP1Z4 | 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.38206#LM0X |
| MSFG6DW8ZQ | MSFG6DW8ZQ | 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.21921#JW75 |
| MSG1RP7VPZ | MSG1RP7VPZ | proof | open | levin_dmoi ptx/sec_gt-trees.ptx#proof-1 |
| MSGNKVVFJV | MSGNKVVFJV | 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/0512416#ZDNG |
| MSGVAMQH0T | MSGVAMQH0T | proof | open | hott_book hits.tex#proof-15 |
| MSJJBNFVAF | MSJJBNFVAF | 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.01737#HYX0 |
| MSJM20NYYV | MSJM20NYYV | 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.38131#436R |
| MSKGBW5GMJ | MSKGBW5GMJ | 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.30999#815Z |
| MSKMBAPKX8 | MSKMBAPKX8 | 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 2506.18813#VLGT |
| MSN2M3GVTM | MSN2M3GVTM | 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.17060#LZRP |
| MSNNKRWTZD | MSNNKRWTZD | 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.17871#IH1P |
| MSP5HY3EA3 | MSP5HY3EA3 | 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.07001#A6A0 |
| MSP71B94J2 | MSP71B94J2 | 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 2103.11107#70M5 |
| MSPJB7022W | MSPJB7022W | 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 0905.2248#LWJY |
| MSQ3P0Q4DJ | MSQ3P0Q4DJ | 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.15160#JQN5 |
| MSQ94CX0T2 | MSQ94CX0T2 | 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 2208.06310#GWKX |
| MSQ98DKRWH | MSQ98DKRWH | exercise | open | open_logic content/first-order-logic/sequent-calculus/proving-things.tex#prob-3 |
| MSR1YCCDQF | MSR1YCCDQF | 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.20910#5LLA |
| MSSSEMMAHC | MSSSEMMAHC | 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.25495#LGKF |
| MSSXMQ2SHE | MSSXMQ2SHE | 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.01358#4MZP |
| MST6142TC7 | MST6142TC7 | 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#KAEN |