Closed mbertucci47 closed 10 months ago
The unsupported option here should be qed, not headindent
qed
headindent
The unsupported option here should be
qed
, notheadindent