issue !4#18690: `interval_cases using ..` appears to only...

Stream: triage

[Random Issue Bot]

Today I chose issue #18690 for discussion!

interval_cases using .. appears to only support names of hypotheses, not terms
Created by @Ruben Van de Velde (@Ruben-VandeVelde) on 2024-11-06
Labels: t-meta

Is this issue still relevant? Any recent updates? Anyone making progress?