Add assoc, commut, and idemp proofs for min and max