PrintForm Definitions finite sets Sections AutomataTheory Doc

At: bool is finite 1 1 1 1 1 1 1 2 1 1 1 1 1 1
1. a1: 2
2. a2: 2
3. false = true
4. a1 = 0
5. a1 = 1
6. a2 = 0
7. true = false

a1 = a2
By: RWH (HypC 3) 7
Generated subgoal:

17. true = true
a1 = a2

About:
equalnatural_numberboolbfalsebtrueint