mb
label
Sections
GenAutomata
Doc
Theorem
Name
Thm*
l1,l2:Label. l1 =
l2
l1 = l2
[assert_eq_label]
cites
Thm*
l1,l2:Pattern. l1 =
l2
l1 = l2
[assert_eq_lbl]
mb
label
Sections
GenAutomata
Doc
l1,l2:Label. l1 =
l2 
l1 = l2l1,l2:Pattern. l1 = l2 l1 = l2l1,l2:Label. l1 = l2 l1 = l2l1,l2:Pattern. l1 = l2 l1 = l2