monus

binary operator on certain commutative monoids that approximates subtraction

Danh mục: