Level: Lib Thy Top: 1 1
Hypotheses:

  1. Alph :

  2. L : L(Alph)

  3. Fin(Alph)

  4. St :

  5. Auto : Automata(Alph;St)

  6. Fin(St)

  7. L = L(Auto)

Conclusion:

EquivRel(Alph List;x,y.Auto(x) = Auto(y))

Applied Tactic: D 0 THEN D 0 THEN Try Auto THEN D 0 THEN Auto
Generated subgoals:

None