PrintForm Definitions finite sets Sections AutomataTheory Doc

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

false = b
By: Analyze 3
Generated subgoals:

None

About:
equalboolbfalsebtrueor