5 ms·
The code doesn't work. I pasted in the full code at the end into Lean Web, and it gives 4 errors and a warning (all in the lemmas).
by japgolly 2mo ago
The code doesn't work. I pasted in the full code at the end into Lean Web, and it gives 4 errors and a warning (all in the lemmas).
- reinitctxoffset 2mo agoIf you haven't already I'm dry a different version, minor versions can change a lot.