Proven properties of the Streamlet protocol

open import Protocol.Streamlet.Invariants ⋯ public
open import Protocol.Streamlet.Consistency ⋯ public