Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
auto3_23()
Automata(
2;
3)
Applied Tactic:
Unfold `auto3_23` 0 THEN Unfold `automata` 0 THEN Auto
Generated subgoals:
None
auto3_23() 
Automata(
2;3)