Skip to content

fix and update changelog

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

generalize setUitv1, setU1itv, setDitv1{l,r}, and add similar lemmas #1864

fix and update changelog
e31ea3b
Select commit
Loading
Failed to load commit list.