Zulip Chat Archive
Stream: lean4
Topic: quotient
Kenny Lau (Jan 05 2021 at 12:50):
Is there any difference between the behaviours of quotient between Lean 3 and 4?
Last updated: Dec 20 2023 at 11:08 UTC
Is there any difference between the behaviours of quotient between Lean 3 and 4?
Last updated: Dec 20 2023 at 11:08 UTC