:: AFF_1 semantic presentation

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)