3 ms·I think this is AI generated; the Lean snippet on page 33 is full of LaTeX syntax.by qguv 11mo agoI think this is AI generated; the Lean snippet on page 33 is full of LaTeX syntax.