(7steps) PrintForm Definitions Lemmas mb hybrid Sections GenAutomata Doc

At: P no dup switchable0 3
1. E: EventStruct

(ternary) composableR(E) preserves No-dup-deliver(E)
By: Easy
Generated subgoals:

None

About:
list

(7steps) PrintForm Definitions Lemmas mb hybrid Sections GenAutomata Doc