%
% Case 2 (x < 0): derp.
%
+\ifx\havemjoproofbycases\undefined
+\def\havemjoproofbycases{1}
+
% Used below to define pcases. The ``loadonly'' parameter prevents
% a very bad interaction with the beamer document class.
%
\newlength{\singleblskip}
\setlength{\singleblskip}{
- \baselineskip / \real{
+ \baselineskip/\real{
\if\relax\detokenize{\baselinestretch}\relax
\baselinestretch%
\else
\def\thiscase{#1}%
\item \hfill\par\vspace{\singleblskip}
}
+
+
+\fi