Inversión
Inversión
Requisitos de finalización
Inversión de definiciones inductivas en Coq
Haga clic en CFPTT_T5.pdf para ver el archivo.