generalize setUitv1, setU1itv, setDitv1{l,r}, and add similar lemmas#1864
Merged
affeldt-aist merged 6 commits intomath-comp:masterfrom Mar 2, 2026
Merged
generalize setUitv1, setU1itv, setDitv1{l,r}, and add similar lemmas#1864affeldt-aist merged 6 commits intomath-comp:masterfrom
affeldt-aist merged 6 commits intomath-comp:masterfrom
Commits
Commits on Feb 27, 2026
Commits on Mar 2, 2026
- committed
- committed
- committed
- committed
- committed
