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

At: lbl pair wf2

x,y:Label. lbl_pr( < x, y > ) Label
By: UnivCD
Generated subgoal:

11. x: Label
2. y: Label
lbl_pr( < x, y > ) Label

About:
memberall

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