monus

binary operator on certain commutative monoids that approximates subtraction

الفئات: