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: Dec 20 2025 at 21:32 UTC
Is it intentional that Nat.find's p argument became explicit?
Last updated: Dec 20 2025 at 21:32 UTC