Re: Modificare l’ambiente proof

Grazie ragazzi, più tardi provo, non ho qui con me il file tex.
Ciao a tutti