Answer by egreg for Proof environment with long header causes many problems....
I'd avoid long labels. Anyway, here's how you can do.\documentclass{article}\usepackage{amsmath}\usepackage{amsthm}\makeatletter\renewenvironment{proof}[1][\proofname]{\par \pushQED{\qed}% \normalfont...
View ArticleProof environment with long header causes many problems. How to avoid them?
Suppose we have defined a lemma environment with the amstheorem package. And suppose the proof environment is available via the ams packages. Please consider this...
View Article