STF ARE 896743 AgR
PROCESSUALAgravo regimental no recurso extraordinário com agravo. 2. Professores públicos. Função exclusiva de magistério. 3. Aposentadoria proporcional calculada com base no tempo de serviço relativo à aposentadoria com proventos integrais. 4. Jurisprudência da Corte. 5. Agravo regimental a que se nega provimento.