| infimum | ZE8FT5PSDT | unknown | open | Wikidata Q1199948, MathWorld Infimum |
| infimum and supremum | BD97KMBV7A | definition | open | Wikidata Q17502105, EoM Upper_and_lower_bounds, Wikipedia Infimum and supremum |
| infinitary | W3292182HX | definition | open | Wikipedia Glossary of logic#Y23N |
| Infinitary combinatorics | 5E1D2B9HXC | definition | open | Wikipedia Glossary of areas of mathematics#MBJM |
| infinitary combinatorics | A5G7Z1BVRX | definition | open | Wikidata Q6029708, ProofWiki Definition:Combinatorial_Set_Theory, Wikipedia Infinitary combinatorics |
| infinitary logic | 5B01R4K6EC | definition | open | Wikidata Q6029713, nLab infinitary logic, Wikipedia Infinitary logic |
| infinitary, algebraic theory | B70G4ST4C1 | concept | open | hott_book index/5.11/infinitary-algebraic-theory |
| infinite | 80YN5CPEXJ | definition | open | Wikipedia Glossary of graph theory#7424 |
| infinite | HZSFGA2K2P | unknown | open | mathlib_overview Combinatorics > Pigeonhole principles > infinite, Mathlib Finite.exists_infinite_fiber |
| Infinite activity | M02MS36XMQ | 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.31102#ALKV |
| Infinite alleles model | B9AWRV38B1 | definition | open | Wikipedia Infinite alleles model, Wikidata Q17101617 |
| Infinite binary tree | F1QW8EMV5A | example | open | napkin tex/set-theory/forcing.tex#example-1 |
| Infinite binary tree is (very) splitting | ZCD14X1WZR | example | open | napkin tex/set-theory/forcing.tex#example-6 |
| Infinite braid image for every parameter | V6MR8WP91Y | 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.25805#QNJK |
| Infinite broom | K24CVMVRG8 | definition | open | Wikipedia List of topologies#K0H3 |
| Infinite broom | YNMMTC1FF1 | definition | open | Wikidata Q6029835, MathWorld BroomSpace, Wikipedia Infinite broom |
| Infinite cardinal arithmetic is trivial | JNBZ5PZXNA | statement | open | napkin tex/set-theory/cardinal.tex#theorem-2 |
| Infinite cardinals squared | FSBEQB4GFN | statement | open | napkin tex/set-theory/cardinal.tex#theorem-1 |
| Infinite chain | R4SMDNJ353 | example | open | napkin tex/set-theory/forcing.tex#example-2 |
| Infinite completely normal basis theorem | VS3DMAFRP7 | 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.22247#X5CD |
| Infinite compositions of analytic functions | CH3WN3XCF2 | definition | open | Wikipedia Infinite compositions of analytic functions, Wikidata Q6029837 |
| Infinite concentration and clusters of consecutive values | X3JT60HSYY | 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.08424#WYZ8 |
| Infinite conjugacy class property | K528Q77D6B | definition | open | Wikipedia Infinite conjugacy class property, Wikidata Q6029839 |
| Infinite Covering Lemma | 6Z0S3NBPGM | statement | open | Wikipedia Vitali covering lemma#3BX1 |
| infinite cyclic group | 4NA11QPNCV | definition | node (a node has the same name as the row) | Wikidata Q54806746, ProofWiki Definition:Infinite_Cyclic_Group |
| Infinite decimal representation | J0C8MKE2MR | unknown | open | Wikipedia Decimal representation#R2HK |
| Infinite descent | VXPFADQ4NH | definition | open | Wikipedia Glossary of arithmetic and diophantine geometry#1Q3B |
| Infinite difference method | T3V4XMHMRP | definition | open | Wikipedia Infinite difference method, Wikidata Q42310234 |
| Infinite differentiability | X8Y23S75QX | 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.15111#2MX1 |
| Infinite differentiability in the interior | Y3031DA3ME | 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.32561#KY5N |
| Infinite dihedral group | MEB77S4984 | definition | open | Wikipedia Infinite dihedral group, Wikidata Q6029845 |
| Infinite dimensional Lie group | VFTA7GE6ZW | unknown | open | Wikipedia Lie group#ARN2 |
| Infinite dimensional state dependent 's preference functional | NTCBVFQHKB | 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.25026#1KTR |
| Infinite divisibility | G6BVN8KT0M | definition | open | Wikipedia List of order theory topics#6UT2, Wikipedia List of probability topics#5YU8 |
| Infinite divisibility | PGKG8D5FVZ | definition | open | Wikipedia Infinite divisibility, Wikidata Q4085623 |
| Infinite divisibility | V6KXR8EXQY | definition | open | Wikipedia Infinite divisibility (probability), Wikidata Q1754066 |
| Infinite divisibility (probability) | 6SHRHEZERH | definition | open | Wikipedia List of statistics articles#UWBY |
| Infinite divisibility and Cramér's theorem | 6NWPDGYJGP | statement | open | Wikipedia Normal distribution#M960 |
| Infinite element method | HVFWB16ER6 | definition | open | Wikipedia Infinite element method, Wikidata Q11092228 |
| Infinite expression | H0Y2JYBQRX | definition | open | Wikipedia Infinite expression, Wikidata Q6029858 |
| Infinite game | ADBX0NXEEJ | unknown | open | Wikipedia Repeated game#KOC7 |
| Infinite general linear group | FBBXXG5ZVS | unknown | open | Wikipedia General linear group#CPXB |
| infinite graph | AB9ZV5M76R | definition | open | Wikidata Q20819993, MathWorld InfiniteGraph, ProofWiki Definition:Infinite_Graph |
| infinite group | TCWPBZWJN5 | definition | open | Wikidata Q374268, MathWorld InfiniteGroup, ProofWiki Definition:Infinite_Group, Wikipedia Infinite group |
| Infinite information and the Gaussian innovation | FTVKNC3001 | 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.38228#6TWY |
| infinite limit, of a function | 5DWXAMR0MH | concept | open | lebl_ra index/2.5.2/infinite-limit-of-a-function |
| infinite limit, of a sequence | ZM0HQETDB7 | concept | open | lebl_ra index/10.3.4/infinite-limit-of-a-sequence |
| infinite loop space | KB9MEQ9RDH | definition | open | Wikipedia Glossary of algebraic topology#34W3 |
| infinite loop space machine | 4CMHJZVT2S | concept | open | Wikidata Q16926157, MathWorld Machine, Wikipedia Infinite loop space machine |
| infinite loop space machine | J4YRGP0VEM | definition | open | Wikipedia Glossary of algebraic topology#YMY0 |
| infinite mapping telescope | 9W36N0SPGH | definition | open | Wikipedia Glossary of algebraic topology#F3UF |
| Infinite matrix | NVEX6Y63H5 | unknown | open | Wikipedia Matrix (mathematics)#61AH |
| Infinite matrix amplification | 7MX9HE6YSC | 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.00789#LODI |
| Infinite matroid | 7SBY7YVQ35 | unknown | open | Wikipedia Matroid#DG19 |
| Infinite monkey theorem | MHSC1P23CG | statement | open | Wikipedia List of theorems#BCM8 |
| Infinite monkey theorem | QWEYMR5J0Y | statement | open | mathlib_1000 Q487132, Wikidata Q487132, thousand_plus Q487132, Wikipedia Infinite monkey theorem |
| Infinite monkey theorem | RPQMYTCSEJ | statement | open | Wikipedia List of statistics articles#JHQC |
| Infinite monkey theorem in popular culture | 3J977V0V7X | statement | open | Wikipedia Infinite monkey theorem in popular culture, Wikidata Q6029874 |
| Infinite normal basis theorem | X7JRPZ6C1V | 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.22247#MCLV |
| Infinite parity function | QSMW5SZDNS | unknown | open | Wikipedia Parity function#49E9 |
| Infinite polytope | JN3B68MNF5 | unknown | open | Wikipedia Regular polytope#QZRF |
| Infinite primitive spectrum | AZ1070AMJG | 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.27204#2OQD |
| infinite product | 88WR4WPAZX | definition | open | Wikidata Q2266843, LMFDB knowl mf.gl2.history.infinite, MathWorld InfiniteProduct, nLab infinite product, Wikipedia Infinite product |
| Infinite product | NHTG3DSFTN | definition | open | Wikipedia List of real analysis topics#MOOM |
| infinite progressions | E2AAAQ8AHW | 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.04000#F61B |
| Infinite rank with dimension three | C2QAKKY482 | 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.00021#5USJ |
| Infinite real projective space | WTPBA7ZTX6 | unknown | open | Wikipedia Real projective space#0PSN |
| Infinite recursion | QYWPA9Z008 | unknown | open | Wikipedia Recursion (computer science)#XYKK |
| Infinite regress | 8M4CEPH1R1 | definition | open | Wikipedia Infinite regress, Wikidata Q1662395 |
| Infinite sequences | MV9ADETTYC | example | open | open_logic content/sets-functions-relations/sets/important-sets.tex#ex-3 |
| Infinite series | C9C7TCVP4A | definition | open | Wikipedia List of mathematical proofs#V2GS, Wikipedia List of calculus topics#K4D8 |
| infinite set | WNE0TMHGD0 | definition | node (a node has the same name as the row) | Wikidata Q205140, MathWorld InfiniteSet, nLab infinite set, ProofWiki Definition:Infinite_Set, Wikipedia Infinite set |
| Infinite sites model | K62NTND9AS | definition | open | Wikipedia Infinite sites model, Wikidata Q25304701 |
| Infinite skew polygon | GK68FWKAGC | definition | open | Wikipedia Infinite skew polygon, Wikidata Q25303803 |
| infinite sum | RE8KY5D04T | unknown | open | mathlib_overview Topology > Topological algebra > infinite sum, Mathlib HasSum |
| Infinite topology of the full shadow | 692RW5JAZ3 | 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.09602#S62X |
| Infinite towers | ESK7BSZX3C | 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.20401#9R81 |
| Infinite-dimensional Chern–Simons theory | 4VJX602M87 | definition | open | Wikipedia Infinite-dimensional Chern–Simons theory, Wikidata Q133216563 |
| Infinite-dimensional formulas | CW639S4208 | statement | open | Wikipedia Itô's lemma#QA0L |
| Infinite-dimensional holomorphy | 4339BCTXJD | definition | open | Wikipedia Infinite-dimensional holomorphy, Wikidata Q6029727 |
| Infinite-dimensional Lebesgue measure | 747JQDG5PZ | definition | open | Wikipedia Infinite-dimensional Lebesgue measure, Wikidata Q6029715 |
| Infinite-dimensional Lie algebra | KF3RT5E99V | unknown | open | Wikipedia En (Lie algebra)#K2T7 |
| Infinite-dimensional optimization | YVWRRAKYR6 | definition | open | Wikipedia Infinite-dimensional optimization, Wikidata Q6029718 |
| Infinite-dimensional projective unitary representations: Bargmann's theorem | AWYPVP32RQ | statement | open | Wikipedia Projective representation#CIG9 |
| Infinite-dimensional sphere | SGQVQYEJND | definition | open | Wikipedia Infinite-dimensional sphere, Wikidata Q135617428 |
| Infinite-dimensional topology | 9405MDJMDW | definition | open | Wikipedia Glossary of general topology#WPQC |
| Infinite-dimensional vector function | X9GADPSE4R | definition | open | Wikipedia Infinite-dimensional vector function, Wikidata Q6029720 |
| Infinite-dimensional zero spaces with prescribed finite insertion index | N75CB461SY | 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.37704#0WFV |
| Infinite-family alternative | P00QG7SRG8 | 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.12497#ISQ5 |
| Infinite-order apeirogonal tiling | SB6NH7ND3S | definition | open | Wikipedia Infinite-order apeirogonal tiling, Wikidata Q17077470 |
| Infinite-order hexagonal tiling | TWK2A1SZKR | definition | open | Wikipedia Infinite-order hexagonal tiling, Wikidata Q48783993 |
| Infinite-order pentagonal tiling | EBGTC5957W | definition | open | Wikipedia Infinite-order pentagonal tiling, Wikidata Q17077511 |
| Infinite-order square tiling | FMHX38Y8T6 | object | open | Wikipedia Infinite-order square tiling, Wikidata Q17077525 |
| Infinite-order triakis triangular tiling | MX0GKVN2NG | unknown | open | Wikipedia Truncated order-3 apeirogonal tiling#TE17 |
| Infinite-order triangular tiling | W9G362D058 | definition | open | Wikipedia Infinite-order triangular tiling, Wikidata Q17077551 |
| Infinite-temperature normal form | S6RHZYVS4G | 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.27908#M79S |
| Infinite-time existence theory for parabolic problems | B6VX0JT3WD | 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.34923#XBQU |
| Infinite-time LFSR equilibration | HQH5C67Q6F | 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.16351#AZXU |
| Infinite-width limit at fixed cutoff | 428B06MM6C | 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.00453#ELSW |
| Infinitely flat maxima | P54QP6Z588 | 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.37704#KQBJ |