PrintForm Definitions finite sets Sections AutomataTheory Doc

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

false = b
By: Inst Thm* b:. b = true b = false [b]
Generated subgoal:

13. b = true b = false
false = b

About:
equalboolbfalsebtrue