$L(n) \ge m_1 m_2$ when $\mathbb{Z}_{m_1} \times \mathbb{Z}_{m_2} \setminus \{0\}$ is covered by $n

Initializing...

$L(n) \ge m_1 m_2$ when $\mathbb{Z}_{m_1} \times \mathbb{Z}_{m_2} \setminus \{0\}$ is covered by $n - 1$ sets sumfree in the group · Prove2Me