| vout |
|---|
PrFj7../33e2c.. 0.00 barsTMLAD../50335.. ownership of aa7c9.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0TMSfC../6ef1e.. ownership of 18c07.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0PUQ4H../71884.. doc published by Pr4zB..Theorem aa7c9.. : ∀ x0 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . ∀ x1 . ∀ x2 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . (∀ x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 . x0 x1 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 = x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19) ⟶ x0 x1 = x2 (proof) |
|