Recurso Ordinário em Mandado de Segurança 5388580-32.2023.8.21.7000 - TJRS | JusConsulta