Commit 2020-05-09 20:30 9f33b7dd
View on Github →feat(algebra/ordered_*): arithmetic operations on monotone functions (#2634)
Also move strict_mono
to order/basic
and add a module docstring.
feat(algebra/ordered_*): arithmetic operations on monotone functions (#2634)
Also move strict_mono
to order/basic
and add a module docstring.