feat: DiscrTree: index the domain of ∀
#5234
check-stage0.yml
on: pull_request
check-stage0-on-queue
42s
∀
#5234