Search for blocks/addresses/...

Proofgold Signed Transaction

vin
PrCit../312d9..
PURvX../e57a3..
vout
PrCit../a0cb5.. 5.63 bars
TMNoD../dd316.. negprop ownership controlledby Pr4zB.. upto 0
TMd4e../6736b.. negprop ownership controlledby Pr4zB.. upto 0
TMZeo../3321c.. negprop ownership controlledby Pr4zB.. upto 0
TMabP../f24f7.. negprop ownership controlledby Pr4zB.. upto 0
TMJQh../1d325.. negprop ownership controlledby Pr4zB.. upto 0
TMLXu../c4da5.. negprop ownership controlledby Pr4zB.. upto 0
TMHTQ../b4233.. negprop ownership controlledby Pr4zB.. upto 0
TMLn1../718c1.. negprop ownership controlledby Pr4zB.. upto 0
TMU1b../2531f.. negprop ownership controlledby Pr4zB.. upto 0
TMbJS../5555b.. negprop ownership controlledby Pr4zB.. upto 0
TMKtA../18d7c.. negprop ownership controlledby Pr4zB.. upto 0
TMdfR../cbd97.. negprop ownership controlledby Pr4zB.. upto 0
TMaeu../6f4ee.. negprop ownership controlledby Pr4zB.. upto 0
TMFSr../fd87a.. negprop ownership controlledby Pr4zB.. upto 0
TMVyw../b2be5.. negprop ownership controlledby Pr4zB.. upto 0
TMcDh../35846.. negprop ownership controlledby Pr4zB.. upto 0
TMQSX../bd4dc.. negprop ownership controlledby Pr4zB.. upto 0
TMdSv../85eb0.. negprop ownership controlledby Pr4zB.. upto 0
TMYiF../2c65e.. negprop ownership controlledby Pr4zB.. upto 0
TMYEH../3c84d.. negprop ownership controlledby Pr4zB.. upto 0
TMN2t../29f59.. negprop ownership controlledby Pr4zB.. upto 0
TMK8C../47d2c.. negprop ownership controlledby Pr4zB.. upto 0
TMcNw../4d8c0.. negprop ownership controlledby Pr4zB.. upto 0
TMX9f../38c7f.. negprop ownership controlledby Pr4zB.. upto 0
TMPPU../75501.. negprop ownership controlledby Pr4zB.. upto 0
TMTgF../27ab2.. negprop ownership controlledby Pr4zB.. upto 0
TMb1c../24464.. negprop ownership controlledby Pr4zB.. upto 0
TMdG2../012b3.. negprop ownership controlledby Pr4zB.. upto 0
TMdsp../8d82d.. negprop ownership controlledby Pr4zB.. upto 0
TMYnx../b0916.. negprop ownership controlledby Pr4zB.. upto 0
TMTUb../74f4a.. negprop ownership controlledby Pr4zB.. upto 0
TMYmY../10b6e.. negprop ownership controlledby Pr4zB.. upto 0
TMb9b../bd10d.. negprop ownership controlledby Pr4zB.. upto 0
TMMMb../8d600.. negprop ownership controlledby Pr4zB.. upto 0
TMSYK../1dccf.. negprop ownership controlledby Pr4zB.. upto 0
TMJ6Z../856e3.. negprop ownership controlledby Pr4zB.. upto 0
TMcwP../4d02d.. negprop ownership controlledby Pr4zB.. upto 0
TMPET../f380a.. negprop ownership controlledby Pr4zB.. upto 0
TMT2o../a8108.. negprop ownership controlledby Pr4zB.. upto 0
TMNNN../df68f.. negprop ownership controlledby Pr4zB.. upto 0
TMKL1../fc2f4.. negprop ownership controlledby Pr4zB.. upto 0
TMGv5../fdc88.. negprop ownership controlledby Pr4zB.. upto 0
TMJcx../e4a6b.. negprop ownership controlledby Pr4zB.. upto 0
TMRoN../75c59.. negprop ownership controlledby Pr4zB.. upto 0
TMdX2../8e4c3.. negprop ownership controlledby Pr4zB.. upto 0
TMJGQ../11b6b.. negprop ownership controlledby Pr4zB.. upto 0
TMKyC../817ab.. negprop ownership controlledby Pr4zB.. upto 0
TMRRB../22687.. negprop ownership controlledby Pr4zB.. upto 0
TMJLy../b26e1.. negprop ownership controlledby Pr4zB.. upto 0
TMHsV../6d3f6.. negprop ownership controlledby Pr4zB.. upto 0
TMR7d../79875.. negprop ownership controlledby Pr4zB.. upto 0
TMN1M../121af.. negprop ownership controlledby Pr4zB.. upto 0
TMYvc../1a0d5.. negprop ownership controlledby Pr4zB.. upto 0
TMJxp../22f98.. negprop ownership controlledby Pr4zB.. upto 0
TMQSM../10ee2.. negprop ownership controlledby Pr4zB.. upto 0
TMKgy../bd81a.. negprop ownership controlledby Pr4zB.. upto 0
TMHDT../1f390.. negprop ownership controlledby Pr4zB.. upto 0
TMZEN../23f93.. negprop ownership controlledby Pr4zB.. upto 0
TMS2V../0b68b.. negprop ownership controlledby Pr4zB.. upto 0
TML3h../9b125.. negprop ownership controlledby Pr4zB.. upto 0
TMWJT../a0eb3.. negprop ownership controlledby Pr4zB.. upto 0
TMdyr../8e10d.. negprop ownership controlledby Pr4zB.. upto 0
TMFnt../7ff6c.. negprop ownership controlledby Pr4zB.. upto 0
TMZrm../afde6.. negprop ownership controlledby Pr4zB.. upto 0
TMbhh../83f71.. negprop ownership controlledby Pr4zB.. upto 0
TMRTF../eba8f.. negprop ownership controlledby Pr4zB.. upto 0
TMV1i../bd80c.. negprop ownership controlledby Pr4zB.. upto 0
TMSb8../de8aa.. negprop ownership controlledby Pr4zB.. upto 0
TMJea../d85cd.. negprop ownership controlledby Pr4zB.. upto 0
TMN81../223cc.. negprop ownership controlledby Pr4zB.. upto 0
TMUYd../f57bb.. negprop ownership controlledby Pr4zB.. upto 0
TMG1D../348fb.. negprop ownership controlledby Pr4zB.. upto 0
TMHy6../4f396.. negprop ownership controlledby Pr4zB.. upto 0
TMdST../fc921.. negprop ownership controlledby Pr4zB.. upto 0
TMP4D../48f7b.. negprop ownership controlledby Pr4zB.. upto 0
TMJtk../443ea.. negprop ownership controlledby Pr4zB.. upto 0
TMQWJ../e7522.. negprop ownership controlledby Pr4zB.. upto 0
TMVdJ../ea195.. negprop ownership controlledby Pr4zB.. upto 0
TMZhd../29aa0.. negprop ownership controlledby Pr4zB.. upto 0
TMdVi../f159a.. negprop ownership controlledby Pr4zB.. upto 0
TMdzY../4c65d.. negprop ownership controlledby Pr4zB.. upto 0
TMNF7../a7f39.. negprop ownership controlledby Pr4zB.. upto 0
TMapc../f49d4.. negprop ownership controlledby Pr4zB.. upto 0
TMPFD../9a551.. negprop ownership controlledby Pr4zB.. upto 0
TMH96../81aae.. negprop ownership controlledby Pr4zB.. upto 0
TMQBy../dc389.. negprop ownership controlledby Pr4zB.. upto 0
TMRkm../500af.. negprop ownership controlledby Pr4zB.. upto 0
TMFY7../b17d8.. negprop ownership controlledby Pr4zB.. upto 0
TMKc4../1bc41.. negprop ownership controlledby Pr4zB.. upto 0
TMX4w../97ff6.. negprop ownership controlledby Pr4zB.. upto 0
TMMqw../c25c3.. negprop ownership controlledby Pr4zB.. upto 0
TMSUV../f2371.. negprop ownership controlledby Pr4zB.. upto 0
TMVwR../35610.. negprop ownership controlledby Pr4zB.. upto 0
TMUz9../daadb.. negprop ownership controlledby Pr4zB.. upto 0
TMWix../e997d.. negprop ownership controlledby Pr4zB.. upto 0
TMN88../e1776.. negprop ownership controlledby Pr4zB.. upto 0
TMVL1../3d6cb.. negprop ownership controlledby Pr4zB.. upto 0
TMLAt../c50ed.. negprop ownership controlledby Pr4zB.. upto 0
TMFJD../397f2.. negprop ownership controlledby Pr4zB.. upto 0
TMX2M../82e4e.. negprop ownership controlledby Pr4zB.. upto 0
TMT7B../5a80b.. negprop ownership controlledby Pr4zB.. upto 0
TML3J../ad226.. negprop ownership controlledby Pr4zB.. upto 0
TMGhA../3d31e.. negprop ownership controlledby Pr4zB.. upto 0
TMMfb../d0644.. negprop ownership controlledby Pr4zB.. upto 0
TMU2o../2c9d9.. negprop ownership controlledby Pr4zB.. upto 0
TMQhe../e00b5.. ownership of 3105f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMGMD../124df.. ownership of 5c123.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZQB../924c9.. ownership of 1a616.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMKBj../e6320.. ownership of 68107.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMcic../6754b.. ownership of 94779.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMFDH../f120b.. ownership of e0463.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXi5../d59c3.. ownership of ad532.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMVYi../2e648.. ownership of 9701b.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMTmN../daa91.. ownership of 3bccb.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJDf../a95aa.. ownership of 2ec03.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMS2i../c8b26.. ownership of e9a91.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMGBM../4aa76.. ownership of 21103.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPxc../29ae5.. ownership of c26ad.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMbTD../6234e.. ownership of 3d25e.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSkK../a0b5d.. ownership of eff68.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMNrB../372d1.. ownership of bb524.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdKv../d3cd1.. ownership of ef472.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMUx8../c12d0.. ownership of d82e7.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQFJ../b2b7f.. ownership of 4e72c.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMYZg../8687e.. ownership of 8b252.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMFrC../c0405.. ownership of 3982c.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMWty../70712.. ownership of f3350.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJ9a../5fae5.. ownership of 258a9.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJfQ../7bf46.. ownership of edc90.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMN6d../def6b.. ownership of b7dd9.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMRnH../d8d2d.. ownership of 9e6cd.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZpe../8c9a0.. ownership of b0849.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMS5W../67fb8.. ownership of 24039.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdck../95573.. ownership of b0bcb.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMLBp../ab8e7.. ownership of bc86f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQtS../78899.. ownership of 49af3.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMGKz../6267e.. ownership of 65b2d.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMWse../43cfe.. ownership of 51d86.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJHc../8e1ef.. ownership of f180f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMVv8../98555.. ownership of b1d7f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSDH../1e824.. ownership of 32e04.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMTiQ../707cf.. ownership of 7d70a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMVv5../8ed70.. ownership of 94d90.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMKFa../7fe55.. ownership of 3d5c1.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMUEy../9f2bb.. ownership of 30b4a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMX8z../5a97f.. ownership of 60a3a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXeG../f07e7.. ownership of ddac1.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMaFm../b6d3e.. ownership of 13d86.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMMoC../309ea.. ownership of 445cb.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMS9p../9bc58.. ownership of c432c.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdCy../f9551.. ownership of 979c1.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMaqe../6e79f.. ownership of 41315.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMLNP../c66b1.. ownership of 3d71b.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMYrq../5ee15.. ownership of c8ac0.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZk2../2e8f7.. ownership of 3e4ce.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMc6s../a2a07.. ownership of b0147.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMT2b../58147.. ownership of 1a53f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMVsP../ecb32.. ownership of 7957c.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJgP../1669b.. ownership of 42493.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSFA../92edf.. ownership of d3e26.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMKoL../ec734.. ownership of 3a4b2.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXD7../80e2f.. ownership of e7d80.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMGFf../16e96.. ownership of 66817.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSBH../1c564.. ownership of ac3f7.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMRX7../24b5c.. ownership of 60537.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdLa../d6c12.. ownership of bd746.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXwX../bb01b.. ownership of 1f3ba.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMGfk../2e205.. ownership of 6a662.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMcAv../4a2b3.. ownership of 4bda5.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXpT../745e0.. ownership of db21d.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMc1H../7393d.. ownership of 7e8a6.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMbrX../626e1.. ownership of 2051a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPyX../329de.. ownership of 84eaf.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMGL8../1525f.. ownership of 4d4dd.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMGZy../2c2ac.. ownership of db48a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXTr../315e8.. ownership of ac02b.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMYru../c8875.. ownership of 9ccfc.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMWEF../74266.. ownership of 9d557.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMc37../59842.. ownership of 4b3d4.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMNjY../a05ef.. ownership of 362ec.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQQD../68823.. ownership of a2542.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMRqe../ec6a5.. ownership of f4b67.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJ1Q../1f66c.. ownership of b998e.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMVWZ../80c62.. ownership of 9a712.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQgW../0b057.. ownership of 925dd.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXAp../3d54b.. ownership of 7f2f2.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMYLS../05c40.. ownership of b1427.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMYwt../2ad3e.. ownership of 17aea.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMHFq../28167.. ownership of f08af.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPdq../6485e.. ownership of af720.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdXH../63db8.. ownership of 28a93.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdtP../bb76b.. ownership of 9e7b1.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdGb../6c4d7.. ownership of 45a64.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMMK7../cbd17.. ownership of e8714.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TML61../51f54.. ownership of 32b5d.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TML55../e56ed.. ownership of 32e25.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdN1../c6365.. ownership of 9752f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZuD../e5788.. ownership of 44711.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMHgK../85b37.. ownership of 9e5c3.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPRC../252c2.. ownership of 80a82.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMaix../bb1d9.. ownership of 116e7.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZsC../f7c38.. ownership of b821e.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMctw../a572d.. ownership of 5d7ae.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMaFC../ea258.. ownership of 39009.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMVut../f67bf.. ownership of 27b04.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZtF../f2a10.. ownership of 17bc6.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZKf../d36fa.. ownership of d3a41.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMFoH../b1890.. ownership of 25d09.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMaUU../3b367.. ownership of 08e11.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdPM../565a5.. ownership of 87a9a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdqb../bd49e.. ownership of 7bff4.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZQ4../0942a.. ownership of 6371d.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMUjZ../52109.. ownership of b9668.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQbG../6de95.. ownership of 4c4e0.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMYBC../05f51.. ownership of c6f79.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMVv5../ed357.. ownership of b1234.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMEo6../cdc15.. ownership of 4e08f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMHvD../a9b63.. ownership of f159f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMN52../be11c.. ownership of e7769.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdCJ../55c79.. ownership of ada11.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMMxk../06971.. ownership of 467cb.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMFjm../d070a.. ownership of 471c9.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMLZm../fefd8.. ownership of dde32.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMHcF../e2fa8.. ownership of 2ec13.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TML8c../65c08.. ownership of b0b25.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMaAz../fd8e7.. ownership of 18fbb.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMS6v../72f6f.. ownership of 47467.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZnw../126f0.. ownership of ac7ac.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJrc../dc419.. ownership of 910ea.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPCY../f5c6e.. ownership of 272ed.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMVwr../6a3b2.. ownership of 5d321.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMRYf../4171b.. ownership of ebee4.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMaX3../9f23b.. ownership of 9ebdd.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSrw../2d054.. ownership of db0cd.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMW8r../47db4.. ownership of 0a793.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdCp../76139.. ownership of 1158c.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdTQ../144ce.. ownership of 172f2.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMMMo../133e0.. ownership of 2615b.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMH8P../48bd3.. ownership of 9d0b3.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMTFg../56665.. ownership of 75fad.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXgM../5b2bf.. ownership of d94e5.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMWgL../61c17.. ownership of 9ce5b.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPSX../e1506.. ownership of e875d.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMUsP../af482.. ownership of 996e8.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMHRi../cc6f8.. ownership of e5a10.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPUo../70c55.. ownership of bf7ce.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMEt6../b4c03.. ownership of 5245e.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TML1Y../c0962.. ownership of 28d21.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMKww../7a606.. ownership of 79b0d.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQSU../b65e2.. ownership of 551bd.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMH3S../e3f7a.. ownership of 0eac7.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJqw../bd119.. ownership of 01bb6.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMU3L../13b49.. ownership of 4eeb9.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMaEu../f38f1.. ownership of 66622.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMGyF../bb683.. ownership of 79d2f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMNNd../419cd.. ownership of 8b01c.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMciu../a5eee.. ownership of 4c44e.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMHAY../0cc01.. ownership of 6bb84.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMVo1../e3754.. ownership of ea953.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMU9e../06406.. ownership of 54bdc.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdBP../abd4b.. ownership of 9b725.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMG7t../ad0aa.. ownership of ae219.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQA5../fdd7b.. ownership of 1da36.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMa6p../7d8df.. ownership of fd91d.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMTBe../f6ff5.. ownership of 8e0ae.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMUBf../67fa5.. ownership of 98620.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZvA../60a4f.. ownership of 16d38.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMRuY../bb382.. ownership of f2a22.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZno../4cdce.. ownership of 617de.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMTVM../b7808.. ownership of 0af1b.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQDz../6445d.. ownership of 30f1f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdut../4a936.. ownership of c9329.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPof../bcd76.. ownership of 89e2e.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQ54../f0efc.. ownership of d8b53.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMM9P../3762b.. ownership of 075fb.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZLA../65066.. ownership of 4552b.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMH46../ca098.. ownership of 96149.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJc9../0bef0.. ownership of 97eb4.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdFQ../fbbe0.. ownership of fa509.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMUbm../97eb5.. ownership of 3c054.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMT2i../2d3ad.. ownership of 89cc3.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJUX../359de.. ownership of 0384c.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQ3x../e0334.. ownership of f4eab.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSff../e4f25.. ownership of 38ccc.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMGiA../a66cf.. ownership of 6d740.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQ6U../d3a00.. ownership of 35149.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMFE2../496b3.. ownership of 3346d.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPnb../beba5.. ownership of 8c598.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZrF../fc9fb.. ownership of 5486a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMTbe../8b0b1.. ownership of a5243.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMRfE../da231.. ownership of 14a2a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJbb../7ac03.. ownership of 8109a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMMK8../458eb.. ownership of 154a3.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMX4m../b8326.. ownership of 7d160.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMNZB../81ace.. ownership of b8f9d.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMYuf../f8fc8.. ownership of 4545d.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMFTM../95325.. ownership of 9825e.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSUs../6b390.. ownership of 9b462.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMbEz../96c4d.. ownership of 7e199.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMS2n../7dc83.. ownership of 36989.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSGT../5f8a8.. ownership of 16ed1.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMFa1../d2f9d.. ownership of b1809.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMP7J../fd1e9.. ownership of 597c2.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMTJh../cd96c.. ownership of dcd9d.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMVCd../e0057.. ownership of 0dd50.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMVuZ../8bf6e.. ownership of 26e28.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMd7k../c9dd9.. ownership of 7cef4.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMR6Z../0a392.. ownership of 2e7b7.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZk3../c44d2.. ownership of 07e45.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPof../02b5e.. ownership of 81672.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMLQD../cc231.. ownership of 0a926.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMY33../c87c9.. ownership of 70279.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMNBF../1aebd.. ownership of 2b643.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMKRY../759bc.. ownership of fd18a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMRj2../4b67c.. ownership of d7cf3.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
PUKUn../ed2fd.. doc published by Pr4zB..
Param ordsuccordsucc : ι → ι
Definition u1 := 1
Definition u2 := ordsucc u1
Definition u3 := ordsucc u2
Definition u4 := ordsucc u3
Definition u5 := ordsucc u4
Definition u6 := ordsucc u5
Definition u7 := ordsucc u6
Definition u8 := ordsucc u7
Definition u9 := ordsucc u8
Definition u10 := ordsucc u9
Definition u11 := ordsucc u10
Definition u12 := ordsucc u11
Definition u13 := ordsucc u12
Definition u14 := ordsucc u13
Definition u15 := ordsucc u14
Definition u16 := ordsucc u15
Definition u17 := ordsucc u16
Definition u18 := ordsucc u17
Definition u19 := ordsucc u18
Known neq_ordsucc_0neq_ordsucc_0 : ∀ x0 . ordsucc x0 = 0 ⟶ ∀ x1 : ο . x1
Theorem fd18a.. : u19 = 0 ⟶ ∀ x0 : ο . x0 (proof)
Known ordsucc_inj_contraordsucc_inj_contra : ∀ x0 x1 . (x0 = x1 ⟶ ∀ x2 : ο . x2) ⟶ ordsucc x0 = ordsucc x1 ⟶ ∀ x2 : ο . x2
Known 99743.. : u18 = 0 ⟶ ∀ x0 : ο . x0
Theorem 70279.. : u19 = u1 ⟶ ∀ x0 : ο . x0 (proof)
Known 9ccac.. : u18 = u1 ⟶ ∀ x0 : ο . x0
Theorem 81672.. : u19 = u2 ⟶ ∀ x0 : ο . x0 (proof)
Known ad866.. : u18 = u2 ⟶ ∀ x0 : ο . x0
Theorem 2e7b7.. : u19 = u3 ⟶ ∀ x0 : ο . x0 (proof)
Known 1f012.. : u18 = u3 ⟶ ∀ x0 : ο . x0
Theorem 26e28.. : u19 = u4 ⟶ ∀ x0 : ο . x0 (proof)
Known 60e5c.. : u18 = u4 ⟶ ∀ x0 : ο . x0
Theorem dcd9d.. : u19 = u5 ⟶ ∀ x0 : ο . x0 (proof)
Known ac512.. : u18 = u5 ⟶ ∀ x0 : ο . x0
Theorem b1809.. : u19 = u6 ⟶ ∀ x0 : ο . x0 (proof)
Known 8347f.. : u18 = u6 ⟶ ∀ x0 : ο . x0
Theorem 36989.. : u19 = u7 ⟶ ∀ x0 : ο . x0 (proof)
Known c9d3b.. : u18 = u7 ⟶ ∀ x0 : ο . x0
Theorem 9b462.. : u19 = u8 ⟶ ∀ x0 : ο . x0 (proof)
Known d47e8.. : u18 = u8 ⟶ ∀ x0 : ο . x0
Theorem 4545d.. : u19 = u9 ⟶ ∀ x0 : ο . x0 (proof)
Known d3922.. : u18 = u9 ⟶ ∀ x0 : ο . x0
Theorem 7d160.. : u19 = u10 ⟶ ∀ x0 : ο . x0 (proof)
Known a335e.. : u18 = u10 ⟶ ∀ x0 : ο . x0
Theorem 8109a.. : u19 = u11 ⟶ ∀ x0 : ο . x0 (proof)
Known 8da43.. : u18 = u11 ⟶ ∀ x0 : ο . x0
Theorem a5243.. : u19 = u12 ⟶ ∀ x0 : ο . x0 (proof)
Known c1bd9.. : u18 = u12 ⟶ ∀ x0 : ο . x0
Theorem 8c598.. : u19 = u13 ⟶ ∀ x0 : ο . x0 (proof)
Known 5cb8a.. : u18 = u13 ⟶ ∀ x0 : ο . x0
Theorem 35149.. : u19 = u14 ⟶ ∀ x0 : ο . x0 (proof)
Known d92fd.. : u18 = u14 ⟶ ∀ x0 : ο . x0
Theorem 38ccc.. : u19 = u15 ⟶ ∀ x0 : ο . x0 (proof)
Known dfba1.. : u18 = u15 ⟶ ∀ x0 : ο . x0
Theorem 0384c.. : u19 = u16 ⟶ ∀ x0 : ο . x0 (proof)
Known 0eaf4.. : u18 = u16 ⟶ ∀ x0 : ο . x0
Theorem 3c054.. : u19 = u17 ⟶ ∀ x0 : ο . x0 (proof)
Known 82c6a.. : u18 = u17 ⟶ ∀ x0 : ο . x0
Theorem 97eb4.. : u19 = u18 ⟶ ∀ x0 : ο . x0 (proof)
Definition u20 := ordsucc u19
Theorem 4552b.. : u20 = 0 ⟶ ∀ x0 : ο . x0 (proof)
Theorem d8b53.. : u20 = u1 ⟶ ∀ x0 : ο . x0 (proof)
Theorem c9329.. : u20 = u2 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 0af1b.. : u20 = u3 ⟶ ∀ x0 : ο . x0 (proof)
Theorem f2a22.. : u20 = u4 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 98620.. : u20 = u5 ⟶ ∀ x0 : ο . x0 (proof)
Theorem fd91d.. : u20 = u6 ⟶ ∀ x0 : ο . x0 (proof)
Theorem ae219.. : u20 = u7 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 54bdc.. : u20 = u8 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 6bb84.. : u20 = u9 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 8b01c.. : u20 = u10 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 66622.. : u20 = u11 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 01bb6.. : u20 = u12 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 551bd.. : u20 = u13 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 28d21.. : u20 = u14 ⟶ ∀ x0 : ο . x0 (proof)
Theorem bf7ce.. : u20 = u15 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 996e8.. : u20 = u16 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 9ce5b.. : u20 = u17 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 75fad.. : u20 = u18 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 2615b.. : u20 = u19 ⟶ ∀ x0 : ο . x0 (proof)
Definition u21 := ordsucc u20
Theorem 1158c.. : u21 = 0 ⟶ ∀ x0 : ο . x0 (proof)
Theorem db0cd.. : u21 = u1 ⟶ ∀ x0 : ο . x0 (proof)
Theorem ebee4.. : u21 = u2 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 272ed.. : u21 = u3 ⟶ ∀ x0 : ο . x0 (proof)
Theorem ac7ac.. : u21 = u4 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 18fbb.. : u21 = u5 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 2ec13.. : u21 = u6 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 471c9.. : u21 = u7 ⟶ ∀ x0 : ο . x0 (proof)
Theorem ada11.. : u21 = u8 ⟶ ∀ x0 : ο . x0 (proof)
Theorem f159f.. : u21 = u9 ⟶ ∀ x0 : ο . x0 (proof)
Theorem b1234.. : u21 = u10 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 4c4e0.. : u21 = u11 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 6371d.. : u21 = u12 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 87a9a.. : u21 = u13 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 25d09.. : u21 = u14 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 17bc6.. : u21 = u15 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 39009.. : u21 = u16 ⟶ ∀ x0 : ο . x0 (proof)
Theorem b821e.. : u21 = u17 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 80a82.. : u21 = u18 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 44711.. : u21 = u19 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 32e25.. : u21 = u20 ⟶ ∀ x0 : ο . x0 (proof)
Definition u22 := ordsucc u21
Theorem e8714.. : u22 = 0 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 9e7b1.. : u22 = u1 ⟶ ∀ x0 : ο . x0 (proof)
Theorem af720.. : u22 = u2 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 17aea.. : u22 = u3 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 7f2f2.. : u22 = u4 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 9a712.. : u22 = u5 ⟶ ∀ x0 : ο . x0 (proof)
Theorem f4b67.. : u22 = u6 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 362ec.. : u22 = u7 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 9d557.. : u22 = u8 ⟶ ∀ x0 : ο . x0 (proof)
Theorem ac02b.. : u22 = u9 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 4d4dd.. : u22 = u10 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 2051a.. : u22 = u11 ⟶ ∀ x0 : ο . x0 (proof)
Theorem db21d.. : u22 = u12 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 6a662.. : u22 = u13 ⟶ ∀ x0 : ο . x0 (proof)
Theorem bd746.. : u22 = u14 ⟶ ∀ x0 : ο . x0 (proof)
Theorem ac3f7.. : u22 = u15 ⟶ ∀ x0 : ο . x0 (proof)
Theorem e7d80.. : u22 = u16 ⟶ ∀ x0 : ο . x0 (proof)
Theorem d3e26.. : u22 = u17 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 7957c.. : u22 = u18 ⟶ ∀ x0 : ο . x0 (proof)
Theorem b0147.. : u22 = u19 ⟶ ∀ x0 : ο . x0 (proof)
Theorem c8ac0.. : u22 = u20 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 41315.. : u22 = u21 ⟶ ∀ x0 : ο . x0 (proof)
Definition u23 := ordsucc u22
Theorem c432c.. : u23 = 0 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 13d86.. : u23 = u1 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 60a3a.. : u23 = u2 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 3d5c1.. : u23 = u3 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 7d70a.. : u23 = u4 ⟶ ∀ x0 : ο . x0 (proof)
Theorem b1d7f.. : u23 = u5 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 51d86.. : u23 = u6 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 49af3.. : u23 = u7 ⟶ ∀ x0 : ο . x0 (proof)
Theorem b0bcb.. : u23 = u8 ⟶ ∀ x0 : ο . x0 (proof)
Theorem b0849.. : u23 = u9 ⟶ ∀ x0 : ο . x0 (proof)
Theorem b7dd9.. : u23 = u10 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 258a9.. : u23 = u11 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 3982c.. : u23 = u12 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 4e72c.. : u23 = u13 ⟶ ∀ x0 : ο . x0 (proof)
Theorem ef472.. : u23 = u14 ⟶ ∀ x0 : ο . x0 (proof)
Theorem eff68.. : u23 = u15 ⟶ ∀ x0 : ο . x0 (proof)
Theorem c26ad.. : u23 = u16 ⟶ ∀ x0 : ο . x0 (proof)
Theorem e9a91.. : u23 = u17 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 3bccb.. : u23 = u18 ⟶ ∀ x0 : ο . x0 (proof)
Theorem ad532.. : u23 = u19 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 94779.. : u23 = u20 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 1a616.. : u23 = u21 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 3105f.. : u23 = u22 ⟶ ∀ x0 : ο . x0 (proof)