Directed Sums

Showing the additive inverse