Zulip Chat Archive
Stream: lean4
Topic: Integer algebraic properties
Omnikar (Oct 15 2022 at 01:02):
How would I work with Ints in the way that I work with Nats using Nat.add_assoc and the like; there doesn't seem to be Int.add_assoc?
Adam Topaz (Oct 15 2022 at 01:58):
Adam Topaz (Oct 15 2022 at 01:58):
Adam Topaz (Oct 15 2022 at 02:00):
So it does exist. You need mathlib4 std4
Last updated: Dec 20 2023 at 11:08 UTC