PrintForm Definitions myhill nerode Sections AutomataTheory Doc

At: beq id

p:. p = p = true
By:
Unfold `beq` 0
THEN
Analyze 0
THEN
BoolCases 1
THEN
Reduce 0
Generated subgoals:

None

About:
allboolequalbtrue