adapted lemmas from stdlib related to mergesort sorting spec
adapted lemmas from stdlib related to mergesort sorting spec

DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord