rename and boolify some predicates for open intervals#1825
Merged
affeldt-aist merged 5 commits intomath-comp:masterfrom Jan 17, 2026
Merged
rename and boolify some predicates for open intervals#1825affeldt-aist merged 5 commits intomath-comp:masterfrom
affeldt-aist merged 5 commits intomath-comp:masterfrom
Commits
Commits on Jan 16, 2026
- committed
- committed
Commits on Jan 17, 2026
- committed
- committed
- committed