Can someone tell me how a set can contain the same element twice?
this is probably just how the code generation prints it. The set does not include 1 twice
Oh I see. Just tried it and it says that {1, 1} = {1}.
Christian Zimmerer has marked this topic as resolved.
Last updated: Jan 17 2026 at 20:25 UTC