Développement : Théorème de la sous-formule [no ref, no pdf]

Détails/Enoncé :

Juste le cas propositionnel, évite pas mal de problèmes et déjà suffisamment long !

Recasages pour l'année 2023 :

  • Pas de recasages pour cette année.

Versions :

Pas de version pour ce développement.