Volver a los detalles del artículo Un acercamiento coinductivo al análisis real