6 ms·

Lean _is_ code. FLT cannot be proven by exhaustion because it's domain is an infinite set: the natural numbers above 2.

• yesitcan 12d ago
  If they’re asking that kind of question, do you think this answer will help them understand anything?
  • sweetheart 12d ago
    maybe it will be an answer that entices them to understand more :)
  • kzrdude 12d ago
    Yes