Skip to content

fix(typesetting): a cased expression whose otherwise holds a variable is set as one the solver decides - #252

Merged
FBumann merged 5 commits into
feat/cases-proved-apartfrom
fix/cases-otherwise-sweep
Aug 30, 2026
Merged

FBumann merged 5 commits into
feat/cases-proved-apartfrom
fix/cases-otherwise-sweep

chore: drop an unreachable lookup guard and the default spelling the …

c11821e
Select commit
Loading
Failed to load commit list.