K75() is M2(K24(K71()))
K71() is set
K24(K71()) is set
K70() is set
K24(K70()) is set
K24(K75()) is set
K19() is set
1 is V4() set
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is M2( the carrier of AP)
q is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2(K24( the carrier of AP))
d is M2( the carrier of AP)
p is M2( the carrier of AP)
c is M2(K24( the carrier of AP))
d is M2(K24( the carrier of AP))
p is set
q is M2( the carrier of AP)
q is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
(AP,a,b) is M2(K24( the carrier of AP))
K24( the carrier of AP) is set
(AP,b,a) is M2(K24( the carrier of AP))
c is set
d is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
c is M2( the carrier of AP)
d is M2( the carrier of AP)
(AP,c,d) is M2(K24( the carrier of AP))
K24( the carrier of AP) is set
(AP,d,c) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
(AP,a,b) is M2(K24( the carrier of AP))
K24( the carrier of AP) is set
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
(AP,b,c) is M2(K24( the carrier of AP))
K24( the carrier of AP) is set
d is M2( the carrier of AP)
(AP,a,d) is M2(K24( the carrier of AP))
p is set
q is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
(AP,b,c) is M2(K24( the carrier of AP))
K24( the carrier of AP) is set
d is M2( the carrier of AP)
(AP,a,d) is M2(K24( the carrier of AP))
p is set
q is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
the M2( the carrier of AP) is M2( the carrier of AP)
b is M2( the carrier of AP)
(AP, the M2( the carrier of AP),b) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
(AP,a,b) is M2(K24( the carrier of AP))
c is M2(K24( the carrier of AP))
d is M2( the carrier of AP)
p is M2( the carrier of AP)
(AP,d,p) is M2(K24( the carrier of AP))
d is M2( the carrier of AP)
p is M2( the carrier of AP)
(AP,d,p) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2(K24( the carrier of AP))
d is M2(K24( the carrier of AP))
(AP,a,b) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2(K24( the carrier of AP))
b is M2( the carrier of AP)
c is M2( the carrier of AP)
(AP,b,c) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2(K24( the carrier of AP))
c is M2( the carrier of AP)
d is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
(AP,a,b) is M2(K24( the carrier of AP))
(AP,a,c) is M2(K24( the carrier of AP))
d is M2( the carrier of AP)
(AP,a,d) is M2(K24( the carrier of AP))
d is M2(K24( the carrier of AP))
p is M2(K24( the carrier of AP))
q is M2(K24( the carrier of AP))
d is M2(K24( the carrier of AP))
p is M2( the carrier of AP)
q is M2( the carrier of AP)
(AP,p,q) is M2(K24( the carrier of AP))
d is M2(K24( the carrier of AP))
p is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
(AP,b,c) is M2(K24( the carrier of AP))
K24( the carrier of AP) is set
d is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2(K24( the carrier of AP))
d is M2( the carrier of AP)
p is M2( the carrier of AP)
(AP,d,p) is M2(K24( the carrier of AP))
q is M2( the carrier of AP)
x is M2( the carrier of AP)
(AP,q,x) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
d is V41() V46() AffinSpace-like AffinStruct
the carrier of d is V4() V5() set
K24( the carrier of d) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2(K24( the carrier of AP))
(AP,a,b) is M2(K24( the carrier of AP))
x is M2(K24( the carrier of d))
p is M2( the carrier of d)
q is M2( the carrier of d)
(d,p,q) is M2(K24( the carrier of d))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2(K24( the carrier of AP))
(AP,a,b) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2(K24( the carrier of AP))
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is M2( the carrier of AP)
(AP,d,p) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is M2(K24( the carrier of AP))
q is M2( the carrier of AP)
x is M2( the carrier of AP)
(AP,q,x) is M2(K24( the carrier of AP))
(AP,a,b) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2(K24( the carrier of AP))
d is M2( the carrier of AP)
p is M2( the carrier of AP)
(AP,d,p) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
(AP,a,b) is M2(K24( the carrier of AP))
K24( the carrier of AP) is set
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2(K24( the carrier of AP))
c is (AP) M2(K24( the carrier of AP))
d is M2( the carrier of AP)
p is M2( the carrier of AP)
d is M2( the carrier of AP)
p is M2( the carrier of AP)
(AP,d,p) is M2(K24( the carrier of AP))
d is M2( the carrier of AP)
p is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is (AP) M2(K24( the carrier of AP))
q is M2( the carrier of AP)
x is M2( the carrier of AP)
(AP,q,x) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is M2(K24( the carrier of AP))
q is M2( the carrier of AP)
x is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is (AP) M2(K24( the carrier of AP))
c is M2( the carrier of AP)
d is M2( the carrier of AP)
(AP,c,d) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2(K24( the carrier of AP))
b is M2(K24( the carrier of AP))
c is M2( the carrier of AP)
d is M2( the carrier of AP)
(AP,c,d) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2(K24( the carrier of AP))
b is M2(K24( the carrier of AP))
c is M2( the carrier of AP)
d is M2( the carrier of AP)
(AP,c,d) is M2(K24( the carrier of AP))
p is M2( the carrier of AP)
q is M2( the carrier of AP)
(AP,p,q) is M2(K24( the carrier of AP))
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is M2( the carrier of AP)
q is M2( the carrier of AP)
(AP,c,d) is M2(K24( the carrier of AP))
(AP,p,q) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is (AP) M2(K24( the carrier of AP))
q is (AP) M2(K24( the carrier of AP))
x is M2( the carrier of AP)
C is M2( the carrier of AP)
P is M2( the carrier of AP)
s is M2( the carrier of AP)
(AP,x,C) is M2(K24( the carrier of AP))
(AP,P,s) is M2(K24( the carrier of AP))
(AP,c,d) is M2(K24( the carrier of AP))
(AP,a,b) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is M2(K24( the carrier of AP))
q is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2(K24( the carrier of AP))
d is M2(K24( the carrier of AP))
p is M2( the carrier of AP)
q is M2( the carrier of AP)
(AP,p,q) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is (AP) M2(K24( the carrier of AP))
b is M2( the carrier of AP)
c is M2( the carrier of AP)
(AP,b,c) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
c is (AP) M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2(K24( the carrier of AP))
b is M2(K24( the carrier of AP))
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is M2( the carrier of AP)
q is M2( the carrier of AP)
(AP,c,d) is M2(K24( the carrier of AP))
(AP,p,q) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
c is M2(K24( the carrier of AP))
d is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2(K24( the carrier of AP))
d is M2(K24( the carrier of AP))
p is M2( the carrier of AP)
q is M2( the carrier of AP)
x is M2( the carrier of AP)
C is M2( the carrier of AP)
(AP,p,q) is M2(K24( the carrier of AP))
(AP,x,C) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2(K24( the carrier of AP))
b is M2(K24( the carrier of AP))
c is M2(K24( the carrier of AP))
d is M2( the carrier of AP)
p is M2( the carrier of AP)
q is M2( the carrier of AP)
x is M2( the carrier of AP)
(AP,d,p) is M2(K24( the carrier of AP))
(AP,q,x) is M2(K24( the carrier of AP))
C is M2( the carrier of AP)
P is M2( the carrier of AP)
(AP,C,P) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2(K24( the carrier of AP))
b is M2(K24( the carrier of AP))
c is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2(K24( the carrier of AP))
c is M2(K24( the carrier of AP))
d is M2(K24( the carrier of AP))
p is M2(K24( the carrier of AP))
q is M2( the carrier of AP)
x is set
P is M2( the carrier of AP)
C is M2( the carrier of AP)
(AP,q,C) is M2(K24( the carrier of AP))
(AP,q,P) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2(K24( the carrier of AP))
(AP,b,c) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is M2( the carrier of AP)
q is M2(K24( the carrier of AP))
(AP,c,d) is M2(K24( the carrier of AP))
(AP,a,b) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is (AP) M2(K24( the carrier of AP))
(AP,c,d) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is (AP) M2(K24( the carrier of AP))
c is M2( the carrier of AP)
d is M2( the carrier of AP)
(AP,c,d) is M2(K24( the carrier of AP))
p is M2( the carrier of AP)
(AP,a,p) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
b is M2(K24( the carrier of AP))
c is M2(K24( the carrier of AP))
d is M2(K24( the carrier of AP))
a is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
p is M2(K24( the carrier of AP))
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
c is M2(K24( the carrier of AP))
a is M2( the carrier of AP)
b is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2(K24( the carrier of AP))
d is M2(K24( the carrier of AP))
p is M2( the carrier of AP)
q is M2( the carrier of AP)
x is M2( the carrier of AP)
C is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is M2( the carrier of AP)
(AP,a,b) is M2(K24( the carrier of AP))
K24( the carrier of AP) is set
(AP,a,c) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is M2( the carrier of AP)
q is M2( the carrier of AP)
(AP,a,b) is M2(K24( the carrier of AP))
K24( the carrier of AP) is set
(AP,a,c) is M2(K24( the carrier of AP))
(AP,d,p) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
c is M2(K24( the carrier of AP))
a is M2( the carrier of AP)
b is M2( the carrier of AP)
(AP,a,b) is M2(K24( the carrier of AP))
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2(K24( the carrier of AP))
b is M2(K24( the carrier of AP))
c is M2( the carrier of AP)
d is M2( the carrier of AP)
(AP,c,d) is M2(K24( the carrier of AP))
p is M2( the carrier of AP)
q is M2( the carrier of AP)
(AP,p,q) is M2(K24( the carrier of AP))
x is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the carrier of AP is V4() V5() set
K24( the carrier of AP) is set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2(K24( the carrier of AP))
(AP,a,b) is M2(K24( the carrier of AP))
p is M2( the carrier of AP)
q is M2( the carrier of AP)
(AP,p,q) is M2(K24( the carrier of AP))
p is M2( the carrier of AP)
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the carrier of AP is V4() V5() set
a is M2( the carrier of AP)
b is M2( the carrier of AP)
c is M2( the carrier of AP)
d is M2( the carrier of AP)
p is M2( the carrier of AP)