K100() is Element of bool K96()
K96() is set
bool K96() is set
K95() is set
bool K95() is set
bool K100() is set
{} is empty set
1 is non empty set
AFV0 is non empty set
[:AFV0,AFV0:] is set
[:[:AFV0,AFV0:],[:AFV0,AFV0:]:] is set
bool [:[:AFV0,AFV0:],[:AFV0,AFV0:]:] is set
X is Element of bool [:[:AFV0,AFV0:],[:AFV0,AFV0:]:]
AffinStruct(# AFV0,X #) is strict AffinStruct
AFV0 is non empty non trivial WeakAffVect-like AffinStruct
the carrier of AFV0 is non empty non trivial set
X is Element of the carrier of AFV0
XX is Element of the carrier of AFV0
P is Element of the carrier of AFV0
AFV0 is non empty non trivial WeakAffVect-like AffinStruct
the carrier of AFV0 is non empty non trivial set
X is Element of the carrier of AFV0
XX is Element of the carrier of AFV0
P is Element of the carrier of AFV0
WAS is Element of the carrier of AFV0
P is Element of the carrier of AFV0
WAS is Element of the carrier of AFV0
a is Element of the carrier of AFV0
AFV is Element of the carrier of AFV0
P is Element of the carrier of AFV0
WAS is Element of the carrier of AFV0
P is Element of the carrier of AFV0
WAS is Element of the carrier of AFV0
AFV is Element of the carrier of AFV0
a is Element of the carrier of AFV0
P is Element of the carrier of AFV0
WAS is Element of the carrier of AFV0
AFV is Element of the carrier of AFV0
a is Element of the carrier of AFV0
AFV0 is non empty non trivial WeakAffVect-like AffinStruct
the carrier of AFV0 is non empty non trivial set
X is Element of the carrier of AFV0
XX is Element of the carrier of AFV0
P is Element of the carrier of AFV0
WAS is Element of the carrier of AFV0
AFV0 is non empty non trivial WeakAffVect-like AffinStruct
the carrier of AFV0 is non empty non trivial set
X is Element of the carrier of AFV0
XX is Element of the carrier of AFV0
AFV0 is non empty non trivial WeakAffVect-like AffinStruct
the carrier of AFV0 is non empty non trivial set
X is Element of the carrier of AFV0
XX is Element of the carrier of AFV0
P is Element of the carrier of AFV0
AFV0 is non empty non trivial WeakAffVect-like AffinStruct
the carrier of AFV0 is non empty non trivial set
X is Element of the carrier of AFV0
XX is Element of the carrier of AFV0
P is Element of the carrier of AFV0
WAS is Element of the carrier of AFV0
AFV is Element of the carrier of AFV0
a is Element of the carrier of AFV0
AFV0 is non empty non trivial WeakAffVect-like AffinStruct
the carrier of AFV0 is non empty non trivial set
X is Element of the carrier of AFV0
XX is Element of the carrier of AFV0
P is Element of the carrier of AFV0
AFV0 is non empty non trivial WeakAffVect-like AffinStruct
the carrier of AFV0 is non empty non trivial set
X is Element of the carrier of AFV0
XX is Element of the carrier of AFV0
P is Element of the carrier of AFV0
WAS is Element of the carrier of AFV0
AFV is Element of the carrier of AFV0
AFV0 is non empty non trivial WeakAffVect-like AffinStruct
the carrier of AFV0 is non empty non trivial set
X is Element of the carrier of AFV0
XX is Element of the carrier of AFV0
P is Element of the carrier of AFV0
WAS is Element of the carrier of AFV0
AFV is Element of the carrier of AFV0
WAS is Element of the carrier of AFV0
AFV is Element of the carrier of AFV0
a is Element of the carrier of AFV0
AFV0 is non empty non trivial WeakAffVect-like AffinStruct
the carrier of AFV0 is non empty non trivial set
X is Element of the carrier of AFV0
XX is Element of the carrier of AFV0
P is Element of the carrier of AFV0
WAS is Element of the carrier of AFV0
AFV is Element of the carrier of AFV0
a is Element of the carrier of AFV0
AFV0 is non empty non trivial WeakAffVect-like AffinStruct
the carrier of AFV0 is non empty non trivial set
X is Element of the carrier of AFV0
XX is Element of the carrier of AFV0
P is Element of the carrier of AFV0
WAS is Element of the carrier of AFV0
AFV is Element of the carrier of AFV0
a is Element of the carrier of AFV0
b is Element of the carrier of AFV0
c is Element of the carrier of AFV0
AFV0 is non empty non trivial WeakAffVect-like AffinStruct
the carrier of AFV0 is non empty non trivial set
X is Element of the carrier of AFV0
XX is Element of the carrier of AFV0
P is Element of the carrier of AFV0
WAS is Element of the carrier of AFV0
AFV is Element of the carrier of AFV0
a is Element of the carrier of AFV0
b is Element of the carrier of AFV0
the non empty non trivial WeakAffVect-like AffinStruct is non empty non trivial WeakAffVect-like AffinStruct
the carrier of the non empty non trivial WeakAffVect-like AffinStruct is non empty non trivial set
[: the carrier of the non empty non trivial WeakAffVect-like AffinStruct , the carrier of the non empty non trivial WeakAffVect-like AffinStruct :] is set
[:[: the carrier of the non empty non trivial WeakAffVect-like AffinStruct , the carrier of the non empty non trivial WeakAffVect-like AffinStruct :],[: the carrier of the non empty non trivial WeakAffVect-like AffinStruct , the carrier of the non empty non trivial WeakAffVect-like AffinStruct :]:] is set
bool [:[: the carrier of the non empty non trivial WeakAffVect-like AffinStruct , the carrier of the non empty non trivial WeakAffVect-like AffinStruct :],[: the carrier of the non empty non trivial WeakAffVect-like AffinStruct , the carrier of the non empty non trivial WeakAffVect-like AffinStruct :]:] is set
P is Element of bool [:[: the carrier of the non empty non trivial WeakAffVect-like AffinStruct , the carrier of the non empty non trivial WeakAffVect-like AffinStruct :],[: the carrier of the non empty non trivial WeakAffVect-like AffinStruct , the carrier of the non empty non trivial WeakAffVect-like AffinStruct :]:]
WAS is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
AFV is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
[WAS,AFV] is set
a is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
[a,b] is set
[[WAS,AFV],[a,b]] is set
c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
[c,b] is set
c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
q9 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
[c,q9] is set
AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #) is non empty strict AffinStruct
the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #) is non empty set
AFV is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
a is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
q9 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
a1 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
[b,c] is set
[q9,a1] is set
[[b,c],[q9,a1]] is set
[AFV,a] is set
[b,c] is set
[[AFV,a],[b,c]] is set
the CONGR of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #) is Element of bool [:[: the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #), the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #):],[: the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #), the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #):]:]
[: the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #), the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #):] is set
[:[: the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #), the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #):],[: the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #), the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #):]:] is set
bool [:[: the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #), the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #):],[: the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #), the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #):]:] is set
AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
q9 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
a1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
p1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
p19 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
b1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
c1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
c1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
q9 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
a1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
b1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
a1 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
q9 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
q9 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
a1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
c1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
b1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
p1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
q9 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
p19 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
a1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
q9 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
b1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
c1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
p19 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
p1 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
q9 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
a1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
p1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
b1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
q1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
c1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
p19 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
q19 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
r1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
r19 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct
r9 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
r is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)
AFV is non empty non trivial () AffinStruct
the carrier of AFV is non empty non trivial set
a is Element of the carrier of AFV
b is Element of the carrier of AFV
AFV is non empty non trivial () AffinStruct
the carrier of AFV is non empty non trivial set
a is Element of the carrier of AFV
b is Element of the carrier of AFV
c is Element of the carrier of AFV
b is Element of the carrier of AFV
AFV is non empty non trivial () AffinStruct
the carrier of AFV is non empty non trivial set
a is Element of the carrier of AFV
b is Element of the carrier of AFV
c is Element of the carrier of AFV
b is Element of the carrier of AFV
AFV is non empty non trivial () AffinStruct
the carrier of AFV is non empty non trivial set
a is Element of the carrier of AFV
b is Element of the carrier of AFV
c is Element of the carrier of AFV
b is Element of the carrier of AFV
AFV is non empty non trivial () AffinStruct
the carrier of AFV is non empty non trivial set
a is Element of the carrier of AFV
b is Element of the carrier of AFV
c is Element of the carrier of AFV
AFV is non empty non trivial () AffinStruct
the carrier of AFV is non empty non trivial set
a is Element of the carrier of AFV
b is Element of the carrier of AFV
c is Element of the carrier of AFV
AFV is non empty non trivial () AffinStruct
the carrier of AFV is non empty non trivial set
a is Element of the carrier of AFV
b is Element of the carrier of AFV
c is Element of the carrier of AFV
b is Element of the carrier of AFV
c is Element of the carrier of AFV
AFV is non empty non trivial () AffinStruct
the carrier of AFV is non empty non trivial set
a is Element of the carrier of AFV
b is Element of the carrier of AFV
c is Element of the carrier of AFV
b is Element of the carrier of AFV
AFV is non empty non trivial () AffinStruct
the carrier of AFV is non empty non trivial set
AFV is non empty non trivial () AffinStruct
the carrier of AFV is non empty non trivial set
AFV is non empty non trivial () AffinStruct
the carrier of AFV is non empty non trivial set
a is Element of the carrier of AFV
b is Element of the carrier of AFV
c is Element of the carrier of AFV
b is Element of the carrier of AFV
c is Element of the carrier of AFV
AFV is non empty non trivial () AffinStruct
the carrier of AFV is non empty non trivial set
a is Element of the carrier of AFV
b is Element of the carrier of AFV
c is Element of the carrier of AFV
b is Element of the carrier of AFV
c is Element of the carrier of AFV
AFV is non empty non trivial () AffinStruct
the carrier of AFV is non empty non trivial set
a is Element of the carrier of AFV
b is Element of the carrier of AFV
c is Element of the carrier of AFV
b is Element of the carrier of AFV