Reducing the number of equations defining a subset of the \(n\)-space over a finite field (arXiv:1906.11174)

Stefan Barańczuk (formalize by Bartosz Naskręcki)