No, not in the electoral district, but for the polling stations.... As we were saying earlier, the election officers at the polling station will have the list of all polling divisions that come under that station, but they wouldn't have ready access to the list of all the electoral districts.
On October 16th, 2018. See this statement in context.