Loading [MathJax]/extensions/toMathML.js
1
2
925路%%路\proof路macro路for路theorems路and路lemmas:卢
926路\def\proof{\normalshape{\setlength{\parskip}{0pt}\par
\addvspace\medskipamount卢
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
LaTeX

Compile Error

1. Check the configured compile mode in settings

2. Check the LaTeX log file:
Meta

Author: Anonymous User 277

  • proof-package脳