PrintForm Definitions finite sets Sections AutomataTheory Doc

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

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

None

About:
equalboolapplylambdaifthenelsenatural_numberbtruebfalse