Impact of COVID-19 pandemic on oral health procedures provided by the Brazilian public health system