Zulip Chat Archive
Stream: new members
Topic: Int.floor
Junjie Bai (Mar 25 2024 at 16:48):
How can I proof ↑ ⌊a⌋ + 1 = ↑ ( ⌊a⌋ + 1 ) ?
Ruben Van de Velde (Mar 25 2024 at 17:14):
Try writing a #mwe first
Junjie Bai (Mar 26 2024 at 04:57):
OK, I'll try it. Thanks!
Yaël Dillies (Mar 26 2024 at 07:52):
I'll temptedly say you're looking for docs#Nat.cast_add_one
Junjie Bai (Mar 26 2024 at 10:13):
That's exactly what I'm looking for, thanks a lot!
Last updated: May 02 2025 at 03:31 UTC