REAL is non empty set
NAT is non empty epsilon-transitive epsilon-connected ordinal Element of bool REAL
bool REAL is set
COMPLEX is non empty set
INT is non empty set
RAT is non empty set
omega is non empty epsilon-transitive epsilon-connected ordinal set
F1() is non empty set
F2() is non empty set
[:F1(),F2():] is set
bool [:F1(),F2():] is set
z is V1() V4(F1()) V5(F2()) Function-like V18(F1(),F2()) Element of bool [:F1(),F2():]
z is V1() V4(F1()) V5(F2()) Function-like V18(F1(),F2()) Element of bool [:F1(),F2():]
z is Element of F1()
z . z is Element of F2()
F3(z) is set
z . z is Element of F2()
F1() is non empty set
[:F1(),F1():] is set
[:[:F1(),F1():],F1():] is set
bool [:[:F1(),F1():],F1():] is set
z is V1() V4([:F1(),F1():]) V5(F1()) Function-like V18([:F1(),F1():],F1()) Element of bool [:[:F1(),F1():],F1():]
z is V1() V4([:F1(),F1():]) V5(F1()) Function-like V18([:F1(),F1():],F1()) Element of bool [:[:F1(),F1():],F1():]
z is Element of F1()
z is Element of F1()
z . (z,z) is Element of F1()
K96(z,z) is set
z . K96(z,z) is set
F2(z,z) is set
z . (z,z) is Element of F1()
z . K96(z,z) is set
[:COMPLEX,COMPLEX:] is set
bool [:COMPLEX,COMPLEX:] is set
z is V1() V4( COMPLEX ) V5( COMPLEX ) Function-like V18( COMPLEX , COMPLEX ) Element of bool [:COMPLEX,COMPLEX:]
z is V1() V4( COMPLEX ) V5( COMPLEX ) Function-like V18( COMPLEX , COMPLEX ) Element of bool [:COMPLEX,COMPLEX:]
z is complex Element of COMPLEX
z . z is complex Element of COMPLEX
F1(z) is set
z . z is complex Element of COMPLEX
[:REAL,REAL:] is set
bool [:REAL,REAL:] is set
z is V1() V4( REAL ) V5( REAL ) Function-like V18( REAL , REAL ) Element of bool [:REAL,REAL:]
z is V1() V4( REAL ) V5( REAL ) Function-like V18( REAL , REAL ) Element of bool [:REAL,REAL:]
z is complex real Element of REAL
z . z is complex real Element of REAL
F1(z) is set
z . z is complex real Element of REAL
z is Element of RAT
[:RAT,RAT:] is set
bool [:RAT,RAT:] is set
z is V1() V4( RAT ) V5( RAT ) Function-like V18( RAT , RAT ) Element of bool [:RAT,RAT:]
z is V1() V4( RAT ) V5( RAT ) Function-like V18( RAT , RAT ) Element of bool [:RAT,RAT:]
z is complex real rational Element of RAT
z . z is complex real rational Element of RAT
F1(z) is set
z . z is complex real rational Element of RAT
[:INT,INT:] is set
bool [:INT,INT:] is set
z is V1() V4( INT ) V5( INT ) Function-like V18( INT , INT ) Element of bool [:INT,INT:]
z is V1() V4( INT ) V5( INT ) Function-like V18( INT , INT ) Element of bool [:INT,INT:]
z is complex real integer rational Element of INT
z . z is complex real integer rational Element of INT
F1(z) is set
z . z is complex real integer rational Element of INT
[:NAT,NAT:] is set
bool [:NAT,NAT:] is set
z is V1() V4( NAT ) V5( NAT ) Function-like V18( NAT , NAT ) Element of bool [:NAT,NAT:]
z is V1() V4( NAT ) V5( NAT ) Function-like V18( NAT , NAT ) Element of bool [:NAT,NAT:]
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z . z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
F1(z) is set
z . z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
[:COMPLEX,COMPLEX:] is set
[:[:COMPLEX,COMPLEX:],COMPLEX:] is set
bool [:[:COMPLEX,COMPLEX:],COMPLEX:] is set
z is V1() V4([:COMPLEX,COMPLEX:]) V5( COMPLEX ) Function-like V18([:COMPLEX,COMPLEX:], COMPLEX ) Element of bool [:[:COMPLEX,COMPLEX:],COMPLEX:]
z is V1() V4([:COMPLEX,COMPLEX:]) V5( COMPLEX ) Function-like V18([:COMPLEX,COMPLEX:], COMPLEX ) Element of bool [:[:COMPLEX,COMPLEX:],COMPLEX:]
z is complex Element of COMPLEX
z is complex Element of COMPLEX
z . (z,z) is complex Element of COMPLEX
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is set
z . (z,z) is complex Element of COMPLEX
z . K96(z,z) is set
[:REAL,REAL:] is set
[:[:REAL,REAL:],REAL:] is set
bool [:[:REAL,REAL:],REAL:] is set
z is V1() V4([:REAL,REAL:]) V5( REAL ) Function-like V18([:REAL,REAL:], REAL ) Element of bool [:[:REAL,REAL:],REAL:]
z is V1() V4([:REAL,REAL:]) V5( REAL ) Function-like V18([:REAL,REAL:], REAL ) Element of bool [:[:REAL,REAL:],REAL:]
z is complex real Element of REAL
z is complex real Element of REAL
z . (z,z) is complex real Element of REAL
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is set
z . (z,z) is complex real Element of REAL
z . K96(z,z) is set
[:RAT,RAT:] is set
[:[:RAT,RAT:],RAT:] is set
bool [:[:RAT,RAT:],RAT:] is set
z is V1() V4([:RAT,RAT:]) V5( RAT ) Function-like V18([:RAT,RAT:], RAT ) Element of bool [:[:RAT,RAT:],RAT:]
z is V1() V4([:RAT,RAT:]) V5( RAT ) Function-like V18([:RAT,RAT:], RAT ) Element of bool [:[:RAT,RAT:],RAT:]
z is complex real rational Element of RAT
z is complex real rational Element of RAT
z . (z,z) is complex real rational Element of RAT
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is set
z . (z,z) is complex real rational Element of RAT
z . K96(z,z) is set
[:INT,INT:] is set
[:[:INT,INT:],INT:] is set
bool [:[:INT,INT:],INT:] is set
z is V1() V4([:INT,INT:]) V5( INT ) Function-like V18([:INT,INT:], INT ) Element of bool [:[:INT,INT:],INT:]
z is V1() V4([:INT,INT:]) V5( INT ) Function-like V18([:INT,INT:], INT ) Element of bool [:[:INT,INT:],INT:]
z is complex real integer rational Element of INT
z is complex real integer rational Element of INT
z . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is set
z . (z,z) is complex real integer rational Element of INT
z . K96(z,z) is set
[:NAT,NAT:] is set
[:[:NAT,NAT:],NAT:] is set
bool [:[:NAT,NAT:],NAT:] is set
z is V1() V4([:NAT,NAT:]) V5( NAT ) Function-like V18([:NAT,NAT:], NAT ) Element of bool [:[:NAT,NAT:],NAT:]
z is V1() V4([:NAT,NAT:]) V5( NAT ) Function-like V18([:NAT,NAT:], NAT ) Element of bool [:[:NAT,NAT:],NAT:]
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is set
z . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z . K96(z,z) is set
[:COMPLEX,COMPLEX:] is set
[:[:COMPLEX,COMPLEX:],COMPLEX:] is set
bool [:[:COMPLEX,COMPLEX:],COMPLEX:] is set
z is complex Element of COMPLEX
z is complex Element of COMPLEX
F1(z,z) is complex set
z is complex Element of COMPLEX
z is V1() V4([:COMPLEX,COMPLEX:]) V5( COMPLEX ) Function-like V18([:COMPLEX,COMPLEX:], COMPLEX ) Element of bool [:[:COMPLEX,COMPLEX:],COMPLEX:]
z is complex set
z is complex set
z . (z,z) is set
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex set
z is complex Element of COMPLEX
z is complex Element of COMPLEX
z . (z,z) is complex Element of COMPLEX
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex set
[:REAL,REAL:] is set
[:[:REAL,REAL:],REAL:] is set
bool [:[:REAL,REAL:],REAL:] is set
z is complex real Element of REAL
z is complex real Element of REAL
F1(z,z) is complex real set
z is complex real Element of REAL
z is V1() V4([:REAL,REAL:]) V5( REAL ) Function-like V18([:REAL,REAL:], REAL ) Element of bool [:[:REAL,REAL:],REAL:]
z is complex real set
z is complex real set
z . (z,z) is set
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex real set
z is complex real Element of REAL
z is complex real Element of REAL
z . (z,z) is complex real Element of REAL
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex real set
[:RAT,RAT:] is set
[:[:RAT,RAT:],RAT:] is set
bool [:[:RAT,RAT:],RAT:] is set
z is complex real rational Element of RAT
z is complex real rational Element of RAT
F1(z,z) is complex real rational set
z is complex real rational Element of RAT
z is V1() V4([:RAT,RAT:]) V5( RAT ) Function-like V18([:RAT,RAT:], RAT ) Element of bool [:[:RAT,RAT:],RAT:]
z is complex real rational set
z is complex real rational set
z . (z,z) is set
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex real rational set
z is complex real rational Element of RAT
z is complex real rational Element of RAT
z . (z,z) is complex real rational Element of RAT
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex real rational set
[:INT,INT:] is set
[:[:INT,INT:],INT:] is set
bool [:[:INT,INT:],INT:] is set
z is complex real integer rational Element of INT
z is complex real integer rational Element of INT
F1(z,z) is complex real integer rational set
z is complex real integer rational Element of INT
z is V1() V4([:INT,INT:]) V5( INT ) Function-like V18([:INT,INT:], INT ) Element of bool [:[:INT,INT:],INT:]
z is complex real integer rational set
z is complex real integer rational set
z . (z,z) is set
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex real integer rational set
z is complex real integer rational Element of INT
z is complex real integer rational Element of INT
z . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex real integer rational set
[:NAT,NAT:] is set
[:[:NAT,NAT:],NAT:] is set
bool [:[:NAT,NAT:],NAT:] is set
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
F1(z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z is V1() V4([:NAT,NAT:]) V5( NAT ) Function-like V18([:NAT,NAT:], NAT ) Element of bool [:[:NAT,NAT:],NAT:]
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set
z . (z,z) is set
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set
[:COMPLEX,COMPLEX:] is set
bool [:COMPLEX,COMPLEX:] is set
z is complex Element of COMPLEX
F1(z) is complex set
z is complex Element of COMPLEX
z is V1() V4( COMPLEX ) V5( COMPLEX ) Function-like V18( COMPLEX , COMPLEX ) Element of bool [:COMPLEX,COMPLEX:]
z is complex set
z . z is set
F1(z) is complex set
z is complex Element of COMPLEX
z . z is complex Element of COMPLEX
F1(z) is complex set
[:REAL,REAL:] is set
bool [:REAL,REAL:] is set
z is complex real Element of REAL
F1(z) is complex real set
z is complex real Element of REAL
z is V1() V4( REAL ) V5( REAL ) Function-like V18( REAL , REAL ) Element of bool [:REAL,REAL:]
z is complex real set
z . z is set
F1(z) is complex real set
z is complex real Element of REAL
z . z is complex real Element of REAL
F1(z) is complex real set
[:RAT,RAT:] is set
bool [:RAT,RAT:] is set
z is complex real rational Element of RAT
F1(z) is complex real rational set
z is complex real rational Element of RAT
z is V1() V4( RAT ) V5( RAT ) Function-like V18( RAT , RAT ) Element of bool [:RAT,RAT:]
z is complex real rational set
z . z is set
F1(z) is complex real rational set
z is complex real rational Element of RAT
z . z is complex real rational Element of RAT
F1(z) is complex real rational set
[:INT,INT:] is set
bool [:INT,INT:] is set
z is complex real integer rational Element of INT
F1(z) is complex real integer rational set
z is complex real integer rational Element of INT
z is V1() V4( INT ) V5( INT ) Function-like V18( INT , INT ) Element of bool [:INT,INT:]
z is complex real integer rational set
z . z is set
F1(z) is complex real integer rational set
z is complex real integer rational Element of INT
z . z is complex real integer rational Element of INT
F1(z) is complex real integer rational set
[:NAT,NAT:] is set
bool [:NAT,NAT:] is set
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
F1(z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z is V1() V4( NAT ) V5( NAT ) Function-like V18( NAT , NAT ) Element of bool [:NAT,NAT:]
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set
z . z is set
F1(z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z . z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
F1(z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set
z is complex set
- z is complex set
z " is complex set
z is complex set
z + z is complex set
z - z is complex set
z * z is complex set
z / z is complex set
z is complex real set
- z is complex real set
z " is complex real set
z is complex real set
z + z is complex real set
z - z is complex real set
z * z is complex real set
z / z is complex real set
z is complex real rational set
- z is complex real rational set
z " is complex real rational set
z is complex real rational set
z + z is complex real rational set
z - z is complex real rational set
z * z is complex real rational set
z / z is complex real rational set
z is complex real integer rational set
- z is complex real integer rational set
z is complex real integer rational set
z + z is complex real integer rational set
z - z is complex real integer rational set
z * z is complex real integer rational set
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set
z + z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set
z * z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set
[:COMPLEX,COMPLEX:] is set
bool [:COMPLEX,COMPLEX:] is set
[:[:COMPLEX,COMPLEX:],COMPLEX:] is set
bool [:[:COMPLEX,COMPLEX:],COMPLEX:] is set
() is V1() V4( COMPLEX ) V5( COMPLEX ) Function-like V18( COMPLEX , COMPLEX ) Element of bool [:COMPLEX,COMPLEX:]
() is V1() V4( COMPLEX ) V5( COMPLEX ) Function-like V18( COMPLEX , COMPLEX ) Element of bool [:COMPLEX,COMPLEX:]
() is V1() V4([:COMPLEX,COMPLEX:]) V5( COMPLEX ) Function-like V18([:COMPLEX,COMPLEX:], COMPLEX ) Element of bool [:[:COMPLEX,COMPLEX:],COMPLEX:]
() is V1() V4([:COMPLEX,COMPLEX:]) V5( COMPLEX ) Function-like V18([:COMPLEX,COMPLEX:], COMPLEX ) Element of bool [:[:COMPLEX,COMPLEX:],COMPLEX:]
() is V1() V4([:COMPLEX,COMPLEX:]) V5( COMPLEX ) Function-like V18([:COMPLEX,COMPLEX:], COMPLEX ) Element of bool [:[:COMPLEX,COMPLEX:],COMPLEX:]
() is V1() V4([:COMPLEX,COMPLEX:]) V5( COMPLEX ) Function-like V18([:COMPLEX,COMPLEX:], COMPLEX ) Element of bool [:[:COMPLEX,COMPLEX:],COMPLEX:]
[:REAL,REAL:] is set
bool [:REAL,REAL:] is set
[:[:REAL,REAL:],REAL:] is set
bool [:[:REAL,REAL:],REAL:] is set
() is V1() V4( REAL ) V5( REAL ) Function-like V18( REAL , REAL ) Element of bool [:REAL,REAL:]
() is V1() V4( REAL ) V5( REAL ) Function-like V18( REAL , REAL ) Element of bool [:REAL,REAL:]
() is V1() V4([:REAL,REAL:]) V5( REAL ) Function-like V18([:REAL,REAL:], REAL ) Element of bool [:[:REAL,REAL:],REAL:]
() is V1() V4([:REAL,REAL:]) V5( REAL ) Function-like V18([:REAL,REAL:], REAL ) Element of bool [:[:REAL,REAL:],REAL:]
() is V1() V4([:REAL,REAL:]) V5( REAL ) Function-like V18([:REAL,REAL:], REAL ) Element of bool [:[:REAL,REAL:],REAL:]
() is V1() V4([:REAL,REAL:]) V5( REAL ) Function-like V18([:REAL,REAL:], REAL ) Element of bool [:[:REAL,REAL:],REAL:]
[:RAT,RAT:] is set
bool [:RAT,RAT:] is set
[:[:RAT,RAT:],RAT:] is set
bool [:[:RAT,RAT:],RAT:] is set
() is V1() V4( RAT ) V5( RAT ) Function-like V18( RAT , RAT ) Element of bool [:RAT,RAT:]
() is V1() V4( RAT ) V5( RAT ) Function-like V18( RAT , RAT ) Element of bool [:RAT,RAT:]
() is V1() V4([:RAT,RAT:]) V5( RAT ) Function-like V18([:RAT,RAT:], RAT ) Element of bool [:[:RAT,RAT:],RAT:]
() is V1() V4([:RAT,RAT:]) V5( RAT ) Function-like V18([:RAT,RAT:], RAT ) Element of bool [:[:RAT,RAT:],RAT:]
() is V1() V4([:RAT,RAT:]) V5( RAT ) Function-like V18([:RAT,RAT:], RAT ) Element of bool [:[:RAT,RAT:],RAT:]
() is V1() V4([:RAT,RAT:]) V5( RAT ) Function-like V18([:RAT,RAT:], RAT ) Element of bool [:[:RAT,RAT:],RAT:]
[:INT,INT:] is set
bool [:INT,INT:] is set
[:[:INT,INT:],INT:] is set
bool [:[:INT,INT:],INT:] is set
() is V1() V4( INT ) V5( INT ) Function-like V18( INT , INT ) Element of bool [:INT,INT:]
() is V1() V4([:INT,INT:]) V5( INT ) Function-like V18([:INT,INT:], INT ) Element of bool [:[:INT,INT:],INT:]
() is V1() V4([:INT,INT:]) V5( INT ) Function-like V18([:INT,INT:], INT ) Element of bool [:[:INT,INT:],INT:]
() is V1() V4([:INT,INT:]) V5( INT ) Function-like V18([:INT,INT:], INT ) Element of bool [:[:INT,INT:],INT:]
[:NAT,NAT:] is set
[:[:NAT,NAT:],NAT:] is set
bool [:[:NAT,NAT:],NAT:] is set
() is V1() V4([:NAT,NAT:]) V5( NAT ) Function-like V18([:NAT,NAT:], NAT ) Element of bool [:[:NAT,NAT:],NAT:]
() is V1() V4([:NAT,NAT:]) V5( NAT ) Function-like V18([:NAT,NAT:], NAT ) Element of bool [:[:NAT,NAT:],NAT:]
z is complex Element of COMPLEX
z is complex Element of COMPLEX
() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex Element of COMPLEX
(z,z) is complex Element of COMPLEX
() . (z,z) is complex Element of COMPLEX
z is complex Element of COMPLEX
z is complex Element of COMPLEX
z is complex Element of COMPLEX
() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex Element of COMPLEX
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex Element of COMPLEX
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex Element of COMPLEX
() . (z,(() . (z,z))) is complex Element of COMPLEX
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex Element of COMPLEX
(z,z) is complex Element of COMPLEX
(z,(z,z)) is complex Element of COMPLEX
(z,z) is complex Element of COMPLEX
((z,z),z) is complex Element of COMPLEX
() . (z,z) is complex Element of COMPLEX
((() . (z,z)),z) is complex Element of COMPLEX
() . ((() . (z,z)),z) is complex Element of COMPLEX
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
z is complex Element of COMPLEX
z is complex Element of COMPLEX
() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex Element of COMPLEX
(z,z) is complex Element of COMPLEX
() . (z,z) is complex Element of COMPLEX
z is complex Element of COMPLEX
z is complex Element of COMPLEX
z is complex Element of COMPLEX
() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex Element of COMPLEX
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex Element of COMPLEX
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex Element of COMPLEX
() . (z,(() . (z,z))) is complex Element of COMPLEX
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex Element of COMPLEX
(z,z) is complex Element of COMPLEX
(z,(z,z)) is complex Element of COMPLEX
(z,z) is complex Element of COMPLEX
((z,z),z) is complex Element of COMPLEX
() . (z,z) is complex Element of COMPLEX
((() . (z,z)),z) is complex Element of COMPLEX
() . ((() . (z,z)),z) is complex Element of COMPLEX
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
z is complex real Element of REAL
z is complex real Element of REAL
() . (z,z) is complex real Element of REAL
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real Element of REAL
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real Element of REAL
(z,z) is complex real Element of REAL
() . (z,z) is complex real Element of REAL
z is complex real Element of REAL
z is complex real Element of REAL
z is complex real Element of REAL
() . (z,z) is complex real Element of REAL
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex real Element of REAL
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex real Element of REAL
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex real Element of REAL
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex real Element of REAL
() . (z,(() . (z,z))) is complex real Element of REAL
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex real Element of REAL
(z,z) is complex real Element of REAL
(z,(z,z)) is complex real Element of REAL
(z,z) is complex real Element of REAL
((z,z),z) is complex real Element of REAL
() . (z,z) is complex real Element of REAL
((() . (z,z)),z) is complex real Element of REAL
() . ((() . (z,z)),z) is complex real Element of REAL
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
z is complex real Element of REAL
z is complex real Element of REAL
() . (z,z) is complex real Element of REAL
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real Element of REAL
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real Element of REAL
(z,z) is complex real Element of REAL
() . (z,z) is complex real Element of REAL
z is complex real Element of REAL
z is complex real Element of REAL
z is complex real Element of REAL
() . (z,z) is complex real Element of REAL
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex real Element of REAL
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex real Element of REAL
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex real Element of REAL
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex real Element of REAL
() . (z,(() . (z,z))) is complex real Element of REAL
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex real Element of REAL
(z,z) is complex real Element of REAL
(z,(z,z)) is complex real Element of REAL
(z,z) is complex real Element of REAL
((z,z),z) is complex real Element of REAL
() . (z,z) is complex real Element of REAL
((() . (z,z)),z) is complex real Element of REAL
() . ((() . (z,z)),z) is complex real Element of REAL
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
z is complex real rational Element of RAT
z is complex real rational Element of RAT
() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real rational Element of RAT
(z,z) is complex real rational Element of RAT
() . (z,z) is complex real rational Element of RAT
z is complex real rational Element of RAT
z is complex real rational Element of RAT
z is complex real rational Element of RAT
() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex real rational Element of RAT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex real rational Element of RAT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex real rational Element of RAT
() . (z,(() . (z,z))) is complex real rational Element of RAT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex real rational Element of RAT
(z,z) is complex real rational Element of RAT
(z,(z,z)) is complex real rational Element of RAT
(z,z) is complex real rational Element of RAT
((z,z),z) is complex real rational Element of RAT
() . (z,z) is complex real rational Element of RAT
((() . (z,z)),z) is complex real rational Element of RAT
() . ((() . (z,z)),z) is complex real rational Element of RAT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
z is complex real rational Element of RAT
z is complex real rational Element of RAT
() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real rational Element of RAT
(z,z) is complex real rational Element of RAT
() . (z,z) is complex real rational Element of RAT
z is complex real rational Element of RAT
z is complex real rational Element of RAT
z is complex real rational Element of RAT
() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex real rational Element of RAT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex real rational Element of RAT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex real rational Element of RAT
() . (z,(() . (z,z))) is complex real rational Element of RAT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex real rational Element of RAT
(z,z) is complex real rational Element of RAT
(z,(z,z)) is complex real rational Element of RAT
(z,z) is complex real rational Element of RAT
((z,z),z) is complex real rational Element of RAT
() . (z,z) is complex real rational Element of RAT
((() . (z,z)),z) is complex real rational Element of RAT
() . ((() . (z,z)),z) is complex real rational Element of RAT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
z is complex real integer rational Element of INT
z is complex real integer rational Element of INT
() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real integer rational Element of INT
(z,z) is complex real integer rational Element of INT
() . (z,z) is complex real integer rational Element of INT
z is complex real integer rational Element of INT
z is complex real integer rational Element of INT
z is complex real integer rational Element of INT
() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex real integer rational Element of INT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex real integer rational Element of INT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex real integer rational Element of INT
() . (z,(() . (z,z))) is complex real integer rational Element of INT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex real integer rational Element of INT
(z,z) is complex real integer rational Element of INT
(z,(z,z)) is complex real integer rational Element of INT
(z,z) is complex real integer rational Element of INT
((z,z),z) is complex real integer rational Element of INT
() . (z,z) is complex real integer rational Element of INT
((() . (z,z)),z) is complex real integer rational Element of INT
() . ((() . (z,z)),z) is complex real integer rational Element of INT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
z is complex real integer rational Element of INT
z is complex real integer rational Element of INT
() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real integer rational Element of INT
(z,z) is complex real integer rational Element of INT
() . (z,z) is complex real integer rational Element of INT
z is complex real integer rational Element of INT
z is complex real integer rational Element of INT
z is complex real integer rational Element of INT
() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex real integer rational Element of INT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex real integer rational Element of INT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex real integer rational Element of INT
() . (z,(() . (z,z))) is complex real integer rational Element of INT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex real integer rational Element of INT
(z,z) is complex real integer rational Element of INT
(z,(z,z)) is complex real integer rational Element of INT
(z,z) is complex real integer rational Element of INT
((z,z),z) is complex real integer rational Element of INT
() . (z,z) is complex real integer rational Element of INT
((() . (z,z)),z) is complex real integer rational Element of INT
() . ((() . (z,z)),z) is complex real integer rational Element of INT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
() . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
(z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
() . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
() . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
() . (z,(() . (z,z))) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
(z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
(z,(z,z)) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
(z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
((z,z),z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
() . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
((() . (z,z)),z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
() . ((() . (z,z)),z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
() . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
(z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
() . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
() . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
() . (z,(() . (z,z))) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
(z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
(z,(z,z)) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
(z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
((z,z),z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
() . (z,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
((() . (z,z)),z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
() . ((() . (z,z)),z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
0 is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z is complex Element of COMPLEX
z is complex Element of COMPLEX
() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
(0,z) is complex Element of COMPLEX
z is complex Element of COMPLEX
() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex Element of COMPLEX
(z,0) is complex Element of COMPLEX
z is complex real Element of REAL
() . (0,z) is complex real Element of REAL
K96(0,z) is set
() . K96(0,z) is set
(0,z) is complex real Element of REAL
z is complex real Element of REAL
() . (z,0) is complex real Element of REAL
K96(z,0) is set
() . K96(z,0) is set
() . (z,0) is complex real Element of REAL
(z,0) is complex real Element of REAL
z is complex real rational Element of RAT
z is complex real rational Element of RAT
() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
(0,z) is complex real rational Element of RAT
z is complex real rational Element of RAT
() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real rational Element of RAT
(z,0) is complex real rational Element of RAT
z is complex real integer rational Element of INT
z is complex real integer rational Element of INT
() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
(0,z) is complex real integer rational Element of INT
z is complex real integer rational Element of INT
() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real integer rational Element of INT
(z,0) is complex real integer rational Element of INT
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
() . (0,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(0,z) is set
() . K96(0,z) is set
(0,z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
() . (z,0) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,0) is set
() . K96(z,0) is set
() . (z,0) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
(z,0) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
1 is non empty complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
z is complex Element of COMPLEX
z is complex Element of COMPLEX
() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
(1,z) is complex Element of COMPLEX
z is complex Element of COMPLEX
() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex Element of COMPLEX
(z,1) is complex Element of COMPLEX
z is complex real Element of REAL
() . (1,z) is complex real Element of REAL
K96(1,z) is set
() . K96(1,z) is set
(1,z) is complex real Element of REAL
z is complex real Element of REAL
() . (z,1) is complex real Element of REAL
K96(z,1) is set
() . K96(z,1) is set
() . (z,1) is complex real Element of REAL
(z,1) is complex real Element of REAL
z is complex real rational Element of RAT
z is complex real rational Element of RAT
() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
(1,z) is complex real rational Element of RAT
z is complex real rational Element of RAT
() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real rational Element of RAT
(z,1) is complex real rational Element of RAT
z is complex real integer rational Element of INT
n is complex real integer rational Element of INT
() . (z,n) is complex real integer rational Element of INT
K96(z,n) is set
() . K96(z,n) is set
(1,n) is complex real integer rational Element of INT
n is complex real integer rational Element of INT
() . (n,z) is complex real integer rational Element of INT
K96(n,z) is set
() . K96(n,z) is set
() . (n,z) is complex real integer rational Element of INT
(n,1) is complex real integer rational Element of INT
n is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
() . (1,n) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(1,n) is set
() . K96(1,n) is set
(1,n) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
n is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
() . (n,1) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(n,1) is set
() . K96(n,1) is set
() . (n,1) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
(n,1) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
the_unity_wrt () is complex Element of COMPLEX
the_unity_wrt () is complex real Element of REAL
the_unity_wrt () is complex real rational Element of RAT
the_unity_wrt () is complex real integer rational Element of INT
the_unity_wrt () is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
the_unity_wrt () is complex Element of COMPLEX
the_unity_wrt () is complex real Element of REAL
the_unity_wrt () is complex real rational Element of RAT
the_unity_wrt () is complex real integer rational Element of INT
the_unity_wrt () is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT