Skip to content

fix: add not actually redundant simp

107bef7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

feat: add forall_fin_zero and exists_fin_zero #10627

fix: add not actually redundant simp
107bef7
Select commit
Loading
Failed to load commit list.