Redshift-space effects in voids and their impact on cosmological tests. Part I: the void size function. (arXiv:2007.12064v1 [astro-ph.CO])