Zulip Chat Archive
Stream: Is there code for X?
Topic: WithTop.mem_range_coe_of_ne_top
Violeta Hernández (Oct 30 2024 at 19:20):
Do we have x ≠ ⊤ → x ∈ Set.range coe?
Yaël Dillies (Oct 30 2024 at 19:24):
Technically this is just cases x
Violeta Hernández (Oct 30 2024 at 19:24):
Sure, I'm just wondering if there's a more compact form
Yaël Dillies (Oct 30 2024 at 19:24):
Else try using docs#WithTop.range_coe
Last updated: May 02 2025 at 03:31 UTC