| 1SHB3KDJM9 | statement | fact B.10 | arxiv |
| Projective transformations | example | example 3.8 | arxiv |
| 24G5NJ61J3 | statement | fact B.7 | arxiv |
| Natarajan dimension as a group invariant | statement | theorem 7.1 | arxiv |
| Solvability and the Natarajan dimension | statement | theorem 7.2 | arxiv |
| The quartic | example | example A.5 | arxiv |
| The dictionary | statement | theorem 3.3 | arxiv |
| Galois invariants of $(G,X)$ | definition | definition 2.6 | arxiv |
| Two-fibered pseudo-cubes and their monodromy | definition | definition 8.1 | arxiv |
| Linear maps, continued | example | example 6.2 | arxiv |
| Unit cells | statement | lemma G.3 | arxiv |
| Overgroups of Young subgroups | statement | lemma G.5 | arxiv |
| 7286J8GZQY | statement | fact B.9 | arxiv |
| 7REGXDX2XE | statement | corollary 7.4 | arxiv |
| Expected-error lower bound | statement | proposition 4.2 | arxiv |
| A biquadratic field | example | example A.1 | arxiv |
| Conjugates | statement | fact A.4 | arxiv |
| Symmetric groups | example | example 3.6 | arxiv |
| ABE2XPCHTM | statement | fact B.14 | arxiv |
| Essential points are independent | statement | lemma 3.2 | arxiv |
| Saturation without solvability | statement | proposition 7.5 | arxiv |
| Matroidal closures | statement | theorem 6.7 | arxiv |
| Teaching dimension | definition | definition 2.4 | arxiv |
| Every consistent learner is rate-optimal | statement | theorem 4.1 | arxiv |
| CG5DG76S2G | statement | lemma G.2 | arxiv |
| Artin's theorem | statement | fact B.3 | arxiv |
| CWVEWAJ4KM | statement | fact B.17 | arxiv |
| Monodromy of two-fibered pseudo-cubes | statement | theorem 8.2 | arxiv |
| Dickson's theorem for $\mathrm{PSL}(2,8)$ | statement | fact B.11 | arxiv |
| Natarajan squares | statement | proposition 6.8 | arxiv |
| Galois's criterion | statement | fact B.5 | arxiv |
| The chief-factor bound is not tight | statement | proposition 7.6 | arxiv |
| EWYJYKZA1Y | statement | fact B.12 | arxiv |
| A cubic | example | example A.3 | arxiv |
| Learning a Galois automorphism | statement | theorem 5.2 | arxiv |
| Natarajan dimension is at least half the DS dimension | conjecture | conjecture 6.5 | arxiv |
| Every subgroup is a point stabilizer | statement | fact 5.1 | arxiv |
| Primitive element theorem | statement | fact B.2 | arxiv |
| Natarajan dimension | definition | definition 2.2 | arxiv |
| K312MBG4MG | statement | fact B.15 | arxiv |
| Multiclass Littlestone dimension | definition | definition 2.3 | arxiv |
| Small groups | statement | fact B.6 | arxiv |
| An Abel--Ruffini threshold for the Natarajan dimension | statement | theorem 7.3 | arxiv |
| Agnostic ERM | statement | proposition 4.3 | arxiv |
| Closure | statement | lemma 2.5 | arxiv |
| Towers of moves | statement | lemma 6.6 | arxiv |
| Version spaces are cosets | statement | lemma 3.1 | arxiv |
| Explicit values | statement | corollary 5.3 | arxiv |
| The factor $1/2$ | statement | proposition 6.4 | arxiv |
| Closure axioms of matroids | statement | fact B.13 | arxiv |
| Pseudo-cubes and the DS dimension | definition | definition 2.1 | arxiv |
| The general equation | statement | fact B.4 | arxiv |
| Commuting moves give Natarajan shattering | statement | theorem 6.1 | arxiv |
| Learning a linear or orthogonal map | statement | proposition 4.4 | arxiv |
| Closed sets | statement | lemma D.1 | arxiv |
| Orthogonality | statement | lemma G.4 | arxiv |
| Fundamental theorem of Galois theory | statement | fact B.1 | arxiv |
| Theorem 8 of the author's preprint | statement | fact B.16 | arxiv |
| Linear and affine maps over a finite field | example | example 3.7 | arxiv |
| ZKWW1V0N31 | statement | fact B.8 | arxiv |
| Finite fields | example | example A.2 | arxiv |
