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