PrintForm Definitions relation autom Sections AutomataTheory Doc

At: rest refl rel 1
1. n: {1...}
2. m: n
3. E: nnProp
4. Refl(n;x,y.x E y)

Refl(m;x,y.x E y)
By: Analyze 0
Generated subgoal:

15. a: m
a E a

About:
natural_numberfunctionprop