pretty-printing of {within _, continuous _}#1784
Merged
affeldt-aist merged 1 commit intomath-comp:masterfrom Dec 13, 2025
Merged
pretty-printing of {within _, continuous _}#1784affeldt-aist merged 1 commit intomath-comp:masterfrom
affeldt-aist merged 1 commit intomath-comp:masterfrom