Zulip Chat Archive
Stream: Is there code for X?
Topic: Getting the first integer statisfying some property
Antoine Chambert-Loir (Apr 12 2024 at 21:05):
docs#Nat.Nth allows you to get the nth integer statisfying some property, but is there something specific for the first one?
Joachim Breitner (Apr 12 2024 at 21:11):
docs#Nat.find is related
Last updated: May 02 2025 at 03:31 UTC