suc{Max,Min}{L,R} + add mrb to CONTRIBUTORS

Four more proofs on Min and Max.