fixed up auxiliary infseq lemmas
fixed up auxiliary infseq lemmas

palmskog/verdi,DistributedComponents/verdi-aggregation,palmskog/verdi,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,palmskog/verdi