Para STJ, herdeiro não depende de registro formal da partilha do imóvel para propor extinção do condomínio