PrintForm Definitions choice 1 Sections AutomataTheory Doc

At: min el sound 1 1 1
1. E:
2. n:
3. EquivRel x,y:. x E y

E(n,n)
By: Analyze 3
Generated subgoal:

13. Refl(;x,y.x E y)
4. Sym x,y:. x E y & Trans x,y:. x E y
E(n,n)

About:
assertapplyfunctionbool