monus

binary operator on certain commutative monoids that approximates subtraction

Categories: