Il est parfois nécessaire de généraliser le théorème; cela permet d'avoir une hypothèse d'induction plus forte:
Lemma lemma2_aux: forall x y, law (rev_law x Take) y = rev_law x y.
Proof.
...
Il est parfois nécessaire de généraliser le théorème; cela permet d'avoir une hypothèse d'induction plus forte:
Lemma lemma2_aux: forall x y, law (rev_law x Take) y = rev_law x y.
Proof.
...
Vous avez un bloqueur de publicités installé.
Le Club Developpez.com n'affiche que des publicités IT, discrètes et non intrusives.
Afin que nous puissions continuer à vous fournir gratuitement du contenu de qualité, merci de nous soutenir en désactivant votre bloqueur de publicités sur Developpez.com.