Skip to content

Change the definition of is_interval to rely on large inequalities#411

Merged
affeldt-aist merged 3 commits intomath-comp:masterfrom ybertot:is_itvSep 28, 2021
+30-22

Commits

Commits on Sep 28, 2021