Skip to content

Suggestions for !34

  • Let latexindent enforce 80 char per line (doesn't like \[ ... \])
  • Add extra label for lemma 2.21 (3)

Merge request reports

Loading