Zulip Chat Archive
Stream: mathlib4
Topic: Nat.find
Ruben Van de Velde (Nov 25 2022 at 19:55):
Is it intentional that Nat.find's p argument became explicit?
Last updated: Feb 28 2026 at 14:05 UTC
Is it intentional that Nat.find's p argument became explicit?
Last updated: Feb 28 2026 at 14:05 UTC