PrintForm Definitions relation autom Sections AutomataTheory Doc

At: rest equi rel 1 1 2
1. n: {1...}
2. m: n
3. E: nnProp
4. Refl(n;x,y.x E y)
5. Sym x,y:n. x E y
6. Trans x,y:n. x E y

Sym x,y:m. x E y & Trans x,y:m. x E y
By: Analyze 0
Generated subgoals:

1 Sym x,y:m. x E y
2 Trans x,y:m. x E y

About:
andnatural_numberfunctionprop