monus

binary operator on certain commutative monoids that approximates subtraction

Kategori: