Re: Mimare \qedhere usando \AtEndEnvironment

Se non lo trovi, vuol dire che hai una installazione incompleta o di TeXLive o, più probabilmente, di MiKTeX; se frequenti il forum, sapresi che sconsigliamo sempre le installazioni parziali.

Nell’uno o nell’altro caso usa lo specifico Package Manager o Package Wizard, e installa il apcchetto mancante, che è normalmente presente nelle distribuzioni complete; Ho appena controllato sulla mia instalalzione completa di TeXLive.