:: 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)))