:: TRANSLAC semantic presentation

K82() is M2(K19(K78()))

K78() is set

K19(K78()) is set

K77() is set

K19(K77()) is set

K19(K82()) is set

K14() is V1() V2() V3() V14() V15() V16() V17() V19() set

1 is V19() set

AFP is V49() V54() AffinSpace-like AffinStruct

the carrier of AFP is V19() V20() set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like AffinStruct

the carrier of AFP is V19() V20() set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like AffinStruct

the carrier of AFP is V19() V20() set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like AffinStruct

the carrier of AFP is V19() V20() set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

p is M2( the carrier of AFP)

p is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

p is M2( the carrier of AFP)

p is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

p is M2( the carrier of AFP)

p is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

K20( the carrier of AFP, the carrier of AFP) is V1() set

K19(K20( the carrier of AFP, the carrier of AFP)) is set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

h . f1 is M2( the carrier of AFP)

h . f2 is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

p is M2( the carrier of AFP)

Line (f1,f2) is M2(K19( the carrier of AFP))

K19( the carrier of AFP) is set

Line (g,d) is M2(K19( the carrier of AFP))

Line (h,p) is M2(K19( the carrier of AFP))

K19( the carrier of AFP) is set

f1 is M2(K19( the carrier of AFP))

f2 is M2(K19( the carrier of AFP))

g is M2(K19( the carrier of AFP))

h is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

d is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f3 is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

K20( the carrier of AFP, the carrier of AFP) is V1() set

K19(K20( the carrier of AFP, the carrier of AFP)) is set

f1 is M2( the carrier of AFP)

id the carrier of AFP is V1() V4( the carrier of AFP) V5( the carrier of AFP) V6() V8() V9() V13() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(id the carrier of AFP) . f1 is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

p is M2( the carrier of AFP)

h is M2( the carrier of AFP)

h is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

d is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

f4 is M2( the carrier of AFP)

h is M2( the carrier of AFP)

f3 is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

p is M2( the carrier of AFP)

h is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

f3 is M2( the carrier of AFP)

f4 is M2( the carrier of AFP)

h is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

f3 is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

f3 is M2( the carrier of AFP)

f4 is M2( the carrier of AFP)

h is M2( the carrier of AFP)

y99 is M2( the carrier of AFP)

f4 is M2( the carrier of AFP)

h is M2( the carrier of AFP)

y99 is M2( the carrier of AFP)

f4 is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

p is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

f3 is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

K20( the carrier of AFP, the carrier of AFP) is V1() set

K19(K20( the carrier of AFP, the carrier of AFP)) is set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

f3 is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

f3 is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

d is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

f3 is M2( the carrier of AFP)

g is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

g is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

h is M2( the carrier of AFP)

g . h is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 is M2( the carrier of AFP)

h is M2( the carrier of AFP)

g . h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

g . d is M2( the carrier of AFP)

p is M2( the carrier of AFP)

p is M2( the carrier of AFP)

g . f1 is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

h is M2( the carrier of AFP)

g . h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

g . d is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

K20( the carrier of AFP, the carrier of AFP) is V1() set

K19(K20( the carrier of AFP, the carrier of AFP)) is set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

g is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

g . f1 is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

K20( the carrier of AFP, the carrier of AFP) is V1() set

K19(K20( the carrier of AFP, the carrier of AFP)) is set

f1 is M2( the carrier of AFP)

f2 is M2( the carrier of AFP)

f1 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f1 . f1 is M2( the carrier of AFP)

g is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 . g is M2( the carrier of AFP)

f1 . h is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

K20( the carrier of AFP, the carrier of AFP) is V1() set

K19(K20( the carrier of AFP, the carrier of AFP)) is set

f1 is M2( the carrier of AFP)

f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f2 . f1 is M2( the carrier of AFP)

g is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

g . f1 is M2( the carrier of AFP)

f2 * g is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

g * f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

g . (f2 . f1) is M2( the carrier of AFP)

f2 . (g . f1) is M2( the carrier of AFP)

(f2 * g) . f1 is M2( the carrier of AFP)

(g * f2) . f1 is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

K20( the carrier of AFP, the carrier of AFP) is V1() set

K19(K20( the carrier of AFP, the carrier of AFP)) is set

f1 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f1 * f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f2 * f1 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

the M2( the carrier of AFP) is M2( the carrier of AFP)

id the carrier of AFP is V1() V4( the carrier of AFP) V5( the carrier of AFP) V6() V8() V9() V13() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f1 . the M2( the carrier of AFP) is M2( the carrier of AFP)

f2 . the M2( the carrier of AFP) is M2( the carrier of AFP)

h is M2( the carrier of AFP)

d is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

d . the M2( the carrier of AFP) is M2( the carrier of AFP)

d * f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

d . (f2 . the M2( the carrier of AFP)) is M2( the carrier of AFP)

f2 * d is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f2 * d) . the M2( the carrier of AFP) is M2( the carrier of AFP)

(d * f2) . the M2( the carrier of AFP) is M2( the carrier of AFP)

f2 . h is M2( the carrier of AFP)

(d * f2) . the M2( the carrier of AFP) is M2( the carrier of AFP)

d * (f1 * f2) is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

d * f1 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(d * f1) * f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f1 * d is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f1 * d) * f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f1 * (d * f2) is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(d * f2) * f1 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

d * (f2 * f1) is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

K20( the carrier of AFP, the carrier of AFP) is V1() set

K19(K20( the carrier of AFP, the carrier of AFP)) is set

f1 is M2( the carrier of AFP)

f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f2 . f1 is M2( the carrier of AFP)

g is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

g . f1 is M2( the carrier of AFP)

f2 * g is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f2 * g) . f1 is M2( the carrier of AFP)

id the carrier of AFP is V1() V4( the carrier of AFP) V5( the carrier of AFP) V6() V8() V9() V13() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f2 . (g . f1) is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

K20( the carrier of AFP, the carrier of AFP) is V1() set

K19(K20( the carrier of AFP, the carrier of AFP)) is set

f1 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

the M2( the carrier of AFP) is M2( the carrier of AFP)

f1 . the M2( the carrier of AFP) is M2( the carrier of AFP)

id the carrier of AFP is V1() V4( the carrier of AFP) V5( the carrier of AFP) V6() V8() V9() V13() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

h is M2( the carrier of AFP)

d is M2( the carrier of AFP)

p is M2( the carrier of AFP)

f1 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f1 . p is M2( the carrier of AFP)

f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f2 . p is M2( the carrier of AFP)

f1 * f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f3 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f3 . p is M2( the carrier of AFP)

f3 " is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f1 * (f3 ") is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f1 * f2) . p is M2( the carrier of AFP)

f4 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f4 . p is M2( the carrier of AFP)

f2 " is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f2 ") . (f1 . the M2( the carrier of AFP)) is M2( the carrier of AFP)

f4 . ((f2 ") . (f1 . the M2( the carrier of AFP))) is M2( the carrier of AFP)

f4 * (f2 ") is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f4 * (f2 ")) . (f1 . the M2( the carrier of AFP)) is M2( the carrier of AFP)

h is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

h . h is M2( the carrier of AFP)

h . (f1 . the M2( the carrier of AFP)) is M2( the carrier of AFP)

(f3 ") . h is M2( the carrier of AFP)

f1 . ((f3 ") . h) is M2( the carrier of AFP)

(f1 * (f3 ")) . h is M2( the carrier of AFP)

(f3 ") * f3 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f1 * ((f3 ") * f3) is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f4 * (f2 ")) * f3 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f1 * (id the carrier of AFP) is V1() V4( the carrier of AFP) V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f2 ") * f3 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f4 * ((f2 ") * f3) is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f3 * (f2 ") is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f4 * (f3 * (f2 ")) is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f4 * f3 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f4 * f3) * (f2 ") is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f2 ") * f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f4 * f3) * ((f2 ") * f2) is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f4 * f3) * (id the carrier of AFP) is V1() V4( the carrier of AFP) V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f3 * f4 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f3 * f4) . p is M2( the carrier of AFP)

f1 " is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f1 ") * (f1 * f2) is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f1 ") * (id the carrier of AFP) is V1() V4( the carrier of AFP) V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f1 ") * f1 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

((f1 ") * f1) * f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(id the carrier of AFP) * f2 is V1() V5( the carrier of AFP) V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f2 * f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f2 * f2) . the M2( the carrier of AFP) is M2( the carrier of AFP)

f2 * (f1 ") is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f2 * (f1 ")) . the M2( the carrier of AFP) is M2( the carrier of AFP)

(f1 ") . the M2( the carrier of AFP) is M2( the carrier of AFP)

f2 . ((f1 ") . the M2( the carrier of AFP)) is M2( the carrier of AFP)

(id the carrier of AFP) * (id the carrier of AFP) is V1() V4( the carrier of AFP) V5( the carrier of AFP) V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f2 * f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

g is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

g * g is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

K20( the carrier of AFP, the carrier of AFP) is V1() set

K19(K20( the carrier of AFP, the carrier of AFP)) is set

id the carrier of AFP is V1() V4( the carrier of AFP) V5( the carrier of AFP) V6() V8() V9() V13() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f1 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f1 * f1 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

the M2( the carrier of AFP) is M2( the carrier of AFP)

f1 . the M2( the carrier of AFP) is M2( the carrier of AFP)

g is M2( the carrier of AFP)

f1 . g is M2( the carrier of AFP)

f1 . (f1 . g) is M2( the carrier of AFP)

(f1 * f1) . g is M2( the carrier of AFP)

AFP is V49() V54() AffinSpace-like 2-dimensional AffinStruct

the carrier of AFP is V19() V20() set

K20( the carrier of AFP, the carrier of AFP) is V1() set

K19(K20( the carrier of AFP, the carrier of AFP)) is set

f1 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f1 * f1 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f2 * f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

g is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f2 " is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f2 ") * f1 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

((f2 ") * f1) * ((f2 ") * f1) is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f1 * ((f2 ") * f1) is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f2 ") * (f1 * ((f2 ") * f1)) is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

f1 * (f2 ") is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f1 * (f2 ")) * f1 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f2 ") * ((f1 * (f2 ")) * f1) is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

((f2 ") * f1) * f1 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f2 ") * (((f2 ") * f1) * f1) is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f2 ") * (f1 * f1) is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f2 ") * ((f2 ") * (f1 * f1)) is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f2 ") * (f2 ") is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

((f2 ") * (f2 ")) * (f1 * f1) is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

g " is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(g ") * g is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

id the carrier of AFP is V1() V4( the carrier of AFP) V5( the carrier of AFP) V6() V8() V9() V13() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))

(f2 ") * f2 is V1() V14() V15() V19() V22( the carrier of AFP) quasi_total onto bijective M2(K19(K20( the carrier of AFP, the carrier of AFP)))