Re: Modificare l’ambiente proof

Oppure prendendo la definizione di proof:`\usepackage{amsthm}
\makeatletter
\newenvironment{tfa}[1][\tfaname]{\par
\pushQED{\qed}%
\normalfont \topsep6\p@\@plus6\p@\relax
…`

Stavi scherzando, vero?
Ciao
Enrico