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