fonction non constante par calcul
Contexte
Voir "fonction constante par calcul"
Définition
Pour f une formule, on dit que f est non constante par calcul si pour un mot x n'apparaissant pas dans f il existe une formule g telle que f +f x →ct g et où x apparait dans g.