PrintForm Definitions relation autom Sections AutomataTheory Doc

At: quotient of nsubn 1 1 1 1 2 1 1
1. E: 11Prop
2. EquivRel x,y:1. x E y
3. x,y:1. Dec(x E y)
4. 0 i,j:1//(i E j)

(x.0) o (x.0) = Id
By:
Eval [`compose`;`tidentity`;`identity`] 0
THEN
Analyze
Generated subgoals:

None

About:
equalfunctionnatural_numberlambdapropallmemberquotient