PrintForm Definitions finite sets Sections AutomataTheory Doc

At: bool is finite 1 1 1 2 1 1 1 2
1. b:
2. b = true
3. a: 2

(n.if n=0 true else false fi)(a)
By: Reduce 0
Generated subgoals:

None

About:
memberboolapplylambdaifthenelse
natural_numberbtruebfalseequal