Logique et démonstration automatique - Université Grenoble Alpes

Voir la démonstration du théorème sur la racine carrée d'une fonction à l'exercice 38, page 118. ... Exercice corrigé : Étudier les variations d'une fonction et ...