query_state_net_invariant_inductive is a lemma, not defn
query_state_net_invariant_inductive is a lemma, not defn

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