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: Feb 28 2026 at 14:05 UTC
Is there any difference between the behaviours of quotient between Lean 3 and 4?
Last updated: Feb 28 2026 at 14:05 UTC