| matrices | 674 | 84 | 8.048 | 0.002914 | 1712.00042,1712.00073,etc |
| codimension | 155 | 17 | 9.312 | 0.002692 | 1712.00107,1712.00221,etc |
| morphism | 506 | 36 | 14.371 | 0.001668 | 1712.00339,1712.00500,etc |
| varphi | 55 | 12 | 4.636 | 0.001598 | 1712.00223,1712.00623,etc |
| morphisms | 222 | 21 | 10.85 | 0.001357 | 1712.00500,1712.00521,etc |
| cohomology | 220 | 19 | 12.056 | 0.001282 | 1712.00071,1712.00225,etc |
| equivariant | 88 | 14 | 6.462 | 0.001054 | 1712.00221,1712.00691,etc |
| homeomorphic | 101 | 15 | 6.571 | 0.001048 | 1712.00104,1712.00339,etc |
| ll | 195 | 31 | 6.367 | 0.000926 | 1712.00227,1712.00243,etc |
| simplicial | 89 | 14 | 6.154 | 0.000886 | 1712.00264,1712.00434,etc |
| diffeomorphism | 143 | 21 | 6.9 | 0.000791 | 1712.00339,1712.00364,etc |
| nonlinearity | 54 | 12 | 4.636 | 0.000737 | 1712.00266,1712.00857,etc |
| nabla | 71 | 12 | 6.182 | 0.000697 | 1712.00448,1712.01625,etc |
| homotopy | 98 | 13 | 7.833 | 0.000673 | 1712.00225,1712.00339,etc |
| langle | 75 | 15 | 5.0 | 0.000671 | 1712.00227,1712.00266,etc |
| tuple | 117 | 20 | 6.0 | 0.000402 | 1712.00225,1712.00299,etc |
| endpoints | 139 | 25 | 5.583 | 0.00039 | 1712.00104,1712.00140,etc |
| ldots | 57 | 14 | 4.154 | 0.000388 | 1712.00339,1712.00472,etc |
| boundedness | 68 | 17 | 4.062 | 0.000353 | 1712.00223,1712.01987,etc |
| endpoint | 47 | 12 | 3.818 | 0.00034 | 1712.00140,1712.00225,etc |