| 114BE3QYX3 | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| 14K8H2E7KW | definition | definition Definition | arxiv |
| 2AVC23ZGT4 | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| 2MA3M8A8SH | statement | fact \zarabicsection.\zarabicthrm | arxiv |
| 30FGD98FVK | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| 31ESSEV4DE | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| 3MK1CPNDPB | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| 41H4QNQKZB | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| 4NZAHXT2PP | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| 4RDHTTR0DV | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| 4XKZZNEC97 | statement | theorem \zarabicsection.\zarabicthrm | arxiv |
| 53A3YTZ07R | definition | definition Definition | arxiv |
| 57JHQXQ2GV | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| 5B2JKJ23T0 | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| 5DQ9PZCBE6 | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| 7VJDTS83PQ | definition | definition Definition | arxiv |
| 7Y5MN41T51 | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| 8040QD6NDH | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| 81AKH8R4NX | statement | fact \zarabicsection.\zarabicthrm | arxiv |
| 8MM78DA4XW | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| 8X7E9GJJX3 | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| 9C7WCKX8WH | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| 9RR9NMT25W | statement | theorem \zarabicsection.\zarabicthrm | arxiv |
| A8YPX7N3BB | statement | theorem \zarabicsection.\zarabicthrm | arxiv |
| AGA2AFMA64 | statement | theorem \zarabicsection.\zarabicthrm | arxiv |
| B44Z0P8EH8 | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| BGMHYKATG1 | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| BJYEZT7E88 | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| CK4N1QRAZ5 | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| DAKP63NSN1 | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| DXN3SZHV7X | statement | fact \zarabicsection.\zarabicthrm | arxiv |
| E2AWHNJ861 | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| EMQ8NZVG7T | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| EQJA4AJ9C6 | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| EVH2BGR3BM | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| FGZPX9Q7AF | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| FS3DKRXDAV | statement | fact \zarabicsection.\zarabicthrm | arxiv |
| FZ7WJMGWBD | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| G119JJ21NC | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| G510T6SF0V | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| G8NQNAMMPP | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| H8Z9WFYX0B | statement | theorem \zarabicsection.\zarabicthrm | arxiv |
| HBDMCB6D5Y | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| J999VF1TGM | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| JKEVTXDDT3 | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| KECS8B2Z3P | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| KG10JF27BJ | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| KMTC8X6SN7 | definition | definition Definition | arxiv |
| MX2C5RRJPR | definition | definition Notation | arxiv |
| N8QKY1JSGE | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| N9XJ5JGQ6Z | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| NWXTA1WC50 | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| P1WENS9XS5 | statement | fact \zarabicsection.\zarabicthrm | arxiv |
| P2QZ90DCYE | example | example Example | arxiv |
| P7CK7GTCE6 | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| QM5SGERMNV | statement | theorem \zarabicsection.\zarabicthrm | arxiv |
| QWXZNQ3Y69 | statement | theorem \zarabicsection.\zarabicthrm | arxiv |
| QZXGTWYFG9 | statement | fact \zarabicsection.\zarabicthrm | arxiv |
| RAZA6RYJDF | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| RP6CVV7DGK | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| S39446Q2R4 | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| SY8H9SVNQ8 | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| VBVN0TXBSZ | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| VQ4ZM6CBXY | definition | definition Definition | arxiv |
| VW47DS9865 | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| WEK7KJ5800 | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| X1ZWRA760T | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| X51M903090 | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| XBC472MGMC | statement | lemma \zarabicsection.\zarabicthrm | arxiv |
| XGA22WYMP1 | counterexample | counterexample Counterexample | arxiv |
| Y0988XPM3N | statement | corollary \zarabicsection.\zarabicthrm | arxiv |
| Y1JFHW76HR | statement | fact \zarabicsection.\zarabicthrm | arxiv |
| YMV3WFS1S6 | statement | corollary \zarabicsection.\zarabicthrm | arxiv |