行列と分数のための表現を使って無理に証明図を描いてみるなど \frac{\begin{matrix} \Pi_1 \\ M: \alpha \supset \beta \end{matrix} \qquad \begin{matrix} \Pi_2 \\ N: \alpha \end{matrix}}{MN: \beta}
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。