| cohomology | 180 | 21 | 8.6 | 0.002123 | 1911.00349,1911.00587,etc |
| fibration | 128 | 15 | 8.929 | 0.001523 | 1911.01267,1911.01767,etc |
| matrices | 605 | 81 | 7.487 | 0.001501 | 1911.00026,1911.00062,etc |
| tuples | 52 | 11 | 4.8 | 0.001385 | 1911.00585,1911.00842,etc |
| diffeomorphism | 91 | 14 | 5.615 | 0.001341 | 1911.00349,1911.01250,etc |
| morphism | 647 | 50 | 12.98 | 0.001339 | 1911.00124,1911.00130,etc |
| minimizers | 100 | 15 | 6.929 | 0.001332 | 1911.00669,1911.01109,etc |
| diffeomorphisms | 64 | 11 | 5.9 | 0.001134 | 1911.00349,1911.00360,etc |
| simplices | 92 | 11 | 7.0 | 0.000896 | 1911.00349,1911.00588,etc |
| codimension | 118 | 21 | 5.7 | 0.000856 | 1911.00587,1911.00961,etc |
| optimality | 127 | 20 | 5.895 | 0.000827 | 1911.00338,1911.00538,etc |
| endpoints | 58 | 13 | 4.5 | 0.000799 | 1911.00006,1911.00161,etc |
| equivariant | 100 | 15 | 6.929 | 0.000781 | 1911.01210,1911.02096,etc |
| homotopy | 177 | 25 | 7.208 | 0.000774 | 1911.00130,1911.00349,etc |
| simplicial | 138 | 15 | 9.286 | 0.000771 | 1911.00349,1911.00732,etc |
| morphisms | 326 | 35 | 9.441 | 0.000758 | 1911.00124,1911.00130,etc |
| ll | 118 | 18 | 6.706 | 0.000697 | 1911.01025,1911.01284,etc |
| homeomorphic | 88 | 14 | 6.538 | 0.000659 | 1911.00006,1911.01758,etc |
| iffalse | 74 | 13 | 5.667 | 0.000552 | 1911.00273,1911.00794,etc |
| tuple | 98 | 22 | 4.524 | 0.000535 | 1911.00349,1911.00785,etc |
| abelian | 57 | 11 | 5.4 | 0.000534 | 1911.00130,1911.01087,etc |
| pairing | 110 | 13 | 8.833 | 0.000534 | 1911.02096,1911.02187,etc |
| qedhere | 93 | 13 | 7.417 | 0.000508 | 1911.01061,1911.02338,etc |
| nontrivial | 59 | 11 | 5.3 | 0.000492 | 1911.00150,1911.00606,etc |
| varepsilon | 59 | 13 | 4.583 | 0.000362 | 1911.00160,1911.01025,etc |
| robustness | 57 | 11 | 5.4 | 0.000304 | 1911.00738,1911.01151,etc |
| nabla | 53 | 12 | 4.545 | 0.000259 | 1911.01982,1911.02801,etc |
| boundedness | 50 | 11 | 4.5 | 0.000232 | 1911.00983,1911.01900,etc |
| langle | 46 | 12 | 3.909 | 0.000113 | 1911.01811,1911.01841,etc |