Comment Comment by mathgradthrow It's also independently pretty tedious to explain that 7 is prime to a proof checker. parent mathgradthrow 2 years ago
