design/tpl (Classification System)[Classification Yield]: Allow break after "then"

This was rendering poorly, breaking instead in the middle of "Axiom".
2021-05-18 14:15:52 -04:00 · 2021-05-18 14:15:52 -04:00 · 83e3ade149
parent ef231f89fa
commit 83e3ade149
1 changed files with 1 additions and 0 deletions
--- a/design/tpl/sec/class.tex
+++ b/design/tpl/sec/class.tex
@ -152,6 +152,7 @@ For notational convenience,
  Let $\Classify^c_\gamma\left(\Monoid\Bool\bullet e,M,v,s\right)$ be a
    classification by~\axmref{class-intro}.
  Then,
+
  \begin{align}
    r &= \begin{cases}
           2 &M\neq\emptyset, \\