Thms
finite
sets
Sections
AutomataTheory
Doc
eq_int
Def
i=
j == if i=j
true
; false
fi
Thm*
i,j:
. i=
j
not
Def
A == A
False
Thm*
A:Prop. (
A)
Prop
About:
j == if i=j
true ; false fi
i,j:
. i=j 
A == A 
False
A:Prop. (A) Propj == if i=j true ; false fi
A == A False
