cours/règle de généralisation.md

up, tags, aliases

up	tags	aliases
règles de démonstration	s/maths/logique

[!definition] Définition Si T \vdash f alors T \vdash \forall x f où x est un symbole de variable ^definition