Common use of Lemma Clause in Contracts

Lemma. The above protocol achieves King Consistency and Validity remains.

Appears in 2 contracts

Sources: Network Algorithms and Complexity, Broadcast Protocols