(6steps) PrintForm Definitions Lemmas mb label Sections GenAutomata Doc

At: lbl sq

SQType(Label)
By: Unfold `sq_type` 0
Generated subgoal:

11. x: Label
2. y: Label
3. x = y
x ~ y

About:
sqequal

(6steps) PrintForm Definitions Lemmas mb label Sections GenAutomata Doc