User:KBlott/Proofs

Max and Min are Semigroups