Multiset Addition Rule (proof required)

Printable View