PrintForm Definitions choice 1 Sections AutomataTheory Doc

At: min el iff 1
1. E:
2. n:
3. k:
4. EquivRel x,y:. x E y

(n E k) Min{ x | xEn } = Min{ x | xEk }
By: Analyze 0
Generated subgoal:

15. n E k
Min{ x | xEn } = Min{ x | xEk }

About:
impliesassertequalfunctionbool