mb
label
Sections
GenAutomata
Doc
Rank
Theorem
Name
2
Thm*
l1,l2:Label. l1 =
l2
l1 = l2
[eq_lbl_iff]
cites
1
Thm*
l1,l2:Label. l1 =
l2
l1 = l2
[assert_eq_label]
mb
label
Sections
GenAutomata
Doc
l1,l2:Label. l1 =
l2 
l1 = l2l1,l2:Label. l1 = l2 
l1 = l2l1,l2:Label. l1 = l2 l1 = l2l1,l2:Label. l1 = l2 l1 = l2