¿Qué hacer al terminar de pagar un crédito Infonavit?

Los trabajadores pueden verificar si realizaron pagos en exceso, y de ser así, solicitar la devolución de dicho recurso