Lift lemma: a sumfree $q$-cover of $\mathbb{Z}_{m_1} \times \mathbb{Z}_{m_2} \setminus \{0\}$ gives a positive sequence of length $m_1 m_2 - 1$ with $\operatorname{sdeg}(\hat A) \le q$

Initializing...

Lift lemma: a sumfree $q$-cover of $\mathbb{Z}_{m_1} \times \mathbb{Z}_{m_2} \setminus \{0\}$ gives a positive sequence of length $m_1 m_2 - 1$ with $\operatorname{sdeg}(\hat A) \le q$ · Prove2Me