Zulip Chat Archive
Stream: general
Topic: List.below
Arnav Sabharwal (Apr 18 2024 at 09:55):
What does List.below represent? I couldn't find much documentation about it, so a clarification would really help, thanks!
Mauricio Collares (Apr 18 2024 at 11:09):
https://leanprover.github.io/theorem_proving_in_lean4/induction_and_recursion.html explains it a bit (for Nat)
Last updated: May 02 2025 at 03:31 UTC