Search for blocks/addresses/...

Proofgold Signed Transaction

vin
PrQPb../d0410..
PUbZ3../06d98..
vout
PrQPb../a3fa5.. 19.99 bars
TMVzV../593ba.. negprop ownership controlledby Pr6Pc.. upto 0
TMRLX../68a22.. negprop ownership controlledby Pr6Pc.. upto 0
TMcLf../14930.. negprop ownership controlledby Pr6Pc.. upto 0
TMZvf../9e56e.. negprop ownership controlledby Pr6Pc.. upto 0
TMTj7../76da2.. negprop ownership controlledby Pr6Pc.. upto 0
TMLDU../35e0c.. negprop ownership controlledby Pr6Pc.. upto 0
TMTou../14351.. negprop ownership controlledby Pr6Pc.. upto 0
TMQGK../5affe.. negprop ownership controlledby Pr6Pc.. upto 0
TMQuV../2631a.. negprop ownership controlledby Pr6Pc.. upto 0
TMGc9../35508.. negprop ownership controlledby Pr6Pc.. upto 0
TMdT5../64eaa.. negprop ownership controlledby Pr6Pc.. upto 0
TMQgL../2f4f7.. negprop ownership controlledby Pr6Pc.. upto 0
TMXJ6../9be95.. negprop ownership controlledby Pr6Pc.. upto 0
TMXmv../074fe.. negprop ownership controlledby Pr6Pc.. upto 0
TMNpG../b6665.. negprop ownership controlledby Pr6Pc.. upto 0
TMU5J../480c6.. negprop ownership controlledby Pr6Pc.. upto 0
TMF7K../c03e0.. negprop ownership controlledby Pr6Pc.. upto 0
TMar9../3a206.. negprop ownership controlledby Pr6Pc.. upto 0
TMbSK../e95e6.. negprop ownership controlledby Pr6Pc.. upto 0
TMdXB../43a1f.. negprop ownership controlledby Pr6Pc.. upto 0
TMKzp../a6f64.. negprop ownership controlledby Pr6Pc.. upto 0
TMF8H../3110b.. negprop ownership controlledby Pr6Pc.. upto 0
TMXjr../10e90.. negprop ownership controlledby Pr6Pc.. upto 0
TMK74../fcfc8.. negprop ownership controlledby Pr6Pc.. upto 0
TMHTE../bfc22.. negprop ownership controlledby Pr6Pc.. upto 0
TMJvo../3c1cf.. negprop ownership controlledby Pr6Pc.. upto 0
TMHCq../6cde5.. negprop ownership controlledby Pr6Pc.. upto 0
TMaaU../39b91.. negprop ownership controlledby Pr6Pc.. upto 0
TMSuF../bcd0c.. negprop ownership controlledby Pr6Pc.. upto 0
TMUzX../a54d8.. negprop ownership controlledby Pr6Pc.. upto 0
TMMUP../35ebb.. negprop ownership controlledby Pr6Pc.. upto 0
TMSij../87e2c.. negprop ownership controlledby Pr6Pc.. upto 0
TMH8F../332d1.. negprop ownership controlledby Pr6Pc.. upto 0
TMSwW../59ea5.. negprop ownership controlledby Pr6Pc.. upto 0
TMYkS../0920c.. negprop ownership controlledby Pr6Pc.. upto 0
TMLkp../cedfb.. negprop ownership controlledby Pr6Pc.. upto 0
TMXS4../353b0.. negprop ownership controlledby Pr6Pc.. upto 0
TMLC9../5966b.. negprop ownership controlledby Pr6Pc.. upto 0
TMMHU../460b0.. negprop ownership controlledby Pr6Pc.. upto 0
TMQxy../3e3a5.. negprop ownership controlledby Pr6Pc.. upto 0
TMJfo../78995.. negprop ownership controlledby Pr6Pc.. upto 0
TMd2v../c9e02.. negprop ownership controlledby Pr6Pc.. upto 0
TMXhr../b36a3.. negprop ownership controlledby Pr6Pc.. upto 0
TMNjA../91f3d.. negprop ownership controlledby Pr6Pc.. upto 0
TMEzY../61526.. negprop ownership controlledby Pr6Pc.. upto 0
TMXoT../49d40.. ownership of e4727.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMRjx../e548b.. ownership of 552ee.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMRwA../84c53.. ownership of ff267.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMXRg../e3e15.. ownership of aa22a.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMbZ1../6fd8d.. ownership of 19a02.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMYwb../8e73b.. ownership of b0286.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMUn1../58d22.. ownership of 0ae3b.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMWqK../2be78.. ownership of b1aae.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMUec../a7a47.. ownership of b136f.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMG2u../d18f8.. ownership of b2be6.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TML3N../a2b13.. ownership of d46f5.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMcK8../af216.. ownership of c17c1.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMWS2../066e7.. ownership of 906cc.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMW6f../7a60c.. ownership of e2f4a.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMcbA../63108.. ownership of 80c63.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMJgg../77898.. ownership of d87ea.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMKrg../cba8a.. ownership of 6e3ac.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMYqJ../c111f.. ownership of 7fad6.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMLSf../472e0.. ownership of 4f065.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMSmp../8f053.. ownership of 8d326.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMM57../34c39.. ownership of f5b7b.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMcBg../7d945.. ownership of 15c47.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMK22../d5228.. ownership of f8515.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMNQp../c705a.. ownership of 3582f.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMdUE../3d064.. ownership of 626b9.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMZ1C../aaa13.. ownership of d95ab.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMcMd../be290.. ownership of c0304.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMXDq../fa8d2.. ownership of 338f0.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMKa8../5cb2a.. ownership of e34cd.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMHiE../ff577.. ownership of 9f7e3.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMPHM../c99a9.. ownership of 3fab0.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMU2y../afdd2.. ownership of 6a16e.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMSNj../0cb53.. ownership of 30657.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMMdA../30bf9.. ownership of e3931.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMdRv../01776.. ownership of 7b8e2.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMdEy../f0ae4.. ownership of 0d1fd.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMNyR../ff8c9.. ownership of 2c37c.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMRiU../7ab69.. ownership of 0d6c1.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMczs../40596.. ownership of b83dd.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMGN5../fd3e4.. ownership of 0241d.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMLUE../e12ae.. ownership of 7c014.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMLWn../ef97d.. ownership of bc468.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMFfM../3c953.. ownership of 719b9.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMbBF../12943.. ownership of e915b.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMMMZ../61faf.. ownership of c517b.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMQ5x../4fca7.. ownership of 7f68a.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMakK../d325f.. ownership of 04777.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMTpL../37f32.. ownership of f1aca.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMdM2../c4f69.. ownership of f4436.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMYY5../d1f3e.. ownership of e3c54.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMbKF../f271c.. ownership of b3e48.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMYRP../1f7b6.. ownership of 0ebd5.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMdSx../470d8.. ownership of 1ffa2.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMZhL../0871e.. ownership of 03fcc.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMYMR../a34b5.. ownership of 2865c.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMady../ea480.. ownership of d5b69.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMNpi../e7422.. ownership of 799bd.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMG4G../5604e.. ownership of c950e.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMUne../4f932.. ownership of f9480.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMJPP../03f4c.. ownership of d9431.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMX5V../44184.. ownership of 20c3f.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMJHt../54377.. ownership of 909c7.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TML4q../65a0c.. ownership of c26bb.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMPpV../e7c8b.. ownership of 3372d.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMLSx../ed109.. ownership of 72066.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMLxe../52cc5.. ownership of 25bd0.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMahx../48c1e.. ownership of cdb67.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMLhH../d6717.. ownership of f97fb.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMFJq../9cec4.. ownership of 29ce2.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMEqk../5558e.. ownership of bf925.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMTJo../1099c.. ownership of 2a569.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMWoP../dc927.. ownership of fdb87.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMJcW../ebb87.. ownership of 0a09e.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMRxE../fccc8.. ownership of 7a335.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMHip../53484.. ownership of bbd62.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMQff../ee9fe.. ownership of 021d0.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMJvP../c585c.. ownership of dbfe9.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMKZ8../0017b.. ownership of 9bd12.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMG3u../8fa15.. ownership of 46727.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMRJB../ad464.. ownership of 90afb.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMdwM../239e5.. ownership of 8e4c7.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMVVi../f54b3.. ownership of 7fa35.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMHR2../8178a.. ownership of 799b0.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMP1H../36862.. ownership of f27ef.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMSyt../ed5df.. ownership of 9f9cb.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMMJE../5ff17.. ownership of d4d95.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMJ4w../46646.. ownership of 2949c.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMHNL../515db.. ownership of 6dd4c.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMKVL../65c97.. ownership of 66f4d.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMa7r../20fa2.. ownership of 79130.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMSyC../27309.. ownership of 00b35.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMSj4../ad7ac.. ownership of 4d54d.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMVVg../b67f3.. ownership of 952fe.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMMwB../9b6fa.. ownership of 3a047.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMLp2../46735.. ownership of cc8c4.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMKuR../86b45.. ownership of 0d0c6.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMaE8../2cbbe.. ownership of 14875.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMJ9p../3a690.. ownership of fb834.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMXFR../e1974.. ownership of 0b70c.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMMGJ../e42bb.. ownership of 9d65e.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMJ5X../fabc6.. ownership of ed34a.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMTng../cbfd0.. ownership of 4dc95.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMbKW../c7a24.. ownership of f3805.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMaNU../190f5.. ownership of f09c2.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMSUJ../3ebf7.. ownership of 58ec1.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMa3a../dd4e8.. ownership of d9836.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMJNi../e78c3.. ownership of 1a8a2.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMUXV../dd620.. ownership of 2a0ca.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMZqu../8d94a.. ownership of 74563.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMKet../cc14d.. ownership of 4693b.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMcp6../97c3f.. ownership of c6f0c.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMMod../617cd.. ownership of 70660.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
PUUcH../b839c.. doc published by Pr6Pc..
Param ordsuccordsucc : ιι
Definition oror := λ x0 x1 : ο . ∀ x2 : ο . (x0x2)(x1x2)x2
Known ordsuccEordsuccE : ∀ x0 x1 . x1ordsucc x0or (x1x0) (x1 = x0)
Definition FalseFalse := ∀ x0 : ο . x0
Definition notnot := λ x0 : ο . x0False
Definition nInnIn := λ x0 x1 . not (x0x1)
Known EmptyEEmptyE : ∀ x0 . nIn x0 0
Theorem cases_1cases_1 : ∀ x0 . x01∀ x1 : ι → ο . x1 0x1 x0 (proof)
Theorem cases_2cases_2 : ∀ x0 . x02∀ x1 : ι → ο . x1 0x1 1x1 x0 (proof)
Theorem cases_3cases_3 : ∀ x0 . x03∀ x1 : ι → ο . x1 0x1 1x1 2x1 x0 (proof)
Theorem cases_4cases_4 : ∀ x0 . x04∀ x1 : ι → ο . x1 0x1 1x1 2x1 3x1 x0 (proof)
Theorem cases_5cases_5 : ∀ x0 . x05∀ x1 : ι → ο . x1 0x1 1x1 2x1 3x1 4x1 x0 (proof)
Theorem cases_6cases_6 : ∀ x0 . x06∀ x1 : ι → ο . x1 0x1 1x1 2x1 3x1 4x1 5x1 x0 (proof)
Theorem cases_7cases_7 : ∀ x0 . x07∀ x1 : ι → ο . x1 0x1 1x1 2x1 3x1 4x1 5x1 6x1 x0 (proof)
Theorem cases_8cases_8 : ∀ x0 . x08∀ x1 : ι → ο . x1 0x1 1x1 2x1 3x1 4x1 5x1 6x1 7x1 x0 (proof)
Theorem cases_9cases_9 : ∀ x0 . x09∀ x1 : ι → ο . x1 0x1 1x1 2x1 3x1 4x1 5x1 6x1 7x1 8x1 x0 (proof)
Known neq_ordsucc_0neq_ordsucc_0 : ∀ x0 . ordsucc x0 = 0∀ x1 : ο . x1
Theorem neq_1_0neq_1_0 : 1 = 0∀ x0 : ο . x0 (proof)
Theorem neq_2_0neq_2_0 : 2 = 0∀ x0 : ο . x0 (proof)
Known ordsucc_injordsucc_inj : ∀ x0 x1 . ordsucc x0 = ordsucc x1x0 = x1
Theorem ordsucc_inj_contraordsucc_inj_contra : ∀ x0 x1 . (x0 = x1∀ x2 : ο . x2)ordsucc x0 = ordsucc x1∀ x2 : ο . x2 (proof)
Theorem neq_2_1neq_2_1 : 2 = 1∀ x0 : ο . x0 (proof)
Theorem nIn_2_1nIn_2_1 : nIn 2 1 (proof)
Theorem neq_3_0neq_3_0 : 3 = 0∀ x0 : ο . x0 (proof)
Theorem neq_3_1neq_3_1 : 3 = 1∀ x0 : ο . x0 (proof)
Theorem neq_3_2neq_3_2 : 3 = 2∀ x0 : ο . x0 (proof)
Theorem neq_4_0neq_4_0 : 4 = 0∀ x0 : ο . x0 (proof)
Theorem neq_4_1neq_4_1 : 4 = 1∀ x0 : ο . x0 (proof)
Theorem neq_4_2neq_4_2 : 4 = 2∀ x0 : ο . x0 (proof)
Theorem neq_4_3neq_4_3 : 4 = 3∀ x0 : ο . x0 (proof)
Theorem neq_5_0neq_5_0 : 5 = 0∀ x0 : ο . x0 (proof)
Theorem neq_5_1neq_5_1 : 5 = 1∀ x0 : ο . x0 (proof)
Theorem neq_5_2neq_5_2 : 5 = 2∀ x0 : ο . x0 (proof)
Theorem neq_5_3neq_5_3 : 5 = 3∀ x0 : ο . x0 (proof)
Theorem neq_5_4neq_5_4 : 5 = 4∀ x0 : ο . x0 (proof)
Theorem neq_6_0neq_6_0 : 6 = 0∀ x0 : ο . x0 (proof)
Theorem neq_6_1neq_6_1 : 6 = 1∀ x0 : ο . x0 (proof)
Theorem neq_6_2neq_6_2 : 6 = 2∀ x0 : ο . x0 (proof)
Theorem neq_6_3neq_6_3 : 6 = 3∀ x0 : ο . x0 (proof)
Theorem neq_6_4neq_6_4 : 6 = 4∀ x0 : ο . x0 (proof)
Theorem neq_6_5neq_6_5 : 6 = 5∀ x0 : ο . x0 (proof)
Theorem neq_7_0neq_7_0 : 7 = 0∀ x0 : ο . x0 (proof)
Theorem neq_7_1neq_7_1 : 7 = 1∀ x0 : ο . x0 (proof)
Theorem neq_7_2neq_7_2 : 7 = 2∀ x0 : ο . x0 (proof)
Theorem neq_7_3neq_7_3 : 7 = 3∀ x0 : ο . x0 (proof)
Theorem neq_7_4neq_7_4 : 7 = 4∀ x0 : ο . x0 (proof)
Theorem neq_7_5neq_7_5 : 7 = 5∀ x0 : ο . x0 (proof)
Theorem neq_7_6neq_7_6 : 7 = 6∀ x0 : ο . x0 (proof)
Theorem neq_8_0neq_8_0 : 8 = 0∀ x0 : ο . x0 (proof)
Theorem neq_8_1neq_8_1 : 8 = 1∀ x0 : ο . x0 (proof)
Theorem neq_8_2neq_8_2 : 8 = 2∀ x0 : ο . x0 (proof)
Theorem neq_8_3neq_8_3 : 8 = 3∀ x0 : ο . x0 (proof)
Theorem neq_8_4neq_8_4 : 8 = 4∀ x0 : ο . x0 (proof)
Theorem neq_8_5neq_8_5 : 8 = 5∀ x0 : ο . x0 (proof)
Theorem neq_8_6neq_8_6 : 8 = 6∀ x0 : ο . x0 (proof)
Theorem neq_8_7neq_8_7 : 8 = 7∀ x0 : ο . x0 (proof)
Theorem neq_9_0neq_9_0 : 9 = 0∀ x0 : ο . x0 (proof)
Theorem neq_9_1neq_9_1 : 9 = 1∀ x0 : ο . x0 (proof)
Theorem neq_9_2neq_9_2 : 9 = 2∀ x0 : ο . x0 (proof)
Theorem neq_9_3neq_9_3 : 9 = 3∀ x0 : ο . x0 (proof)
Theorem neq_9_4neq_9_4 : 9 = 4∀ x0 : ο . x0 (proof)
Theorem neq_9_5neq_9_5 : 9 = 5∀ x0 : ο . x0 (proof)
Theorem neq_9_6neq_9_6 : 9 = 6∀ x0 : ο . x0 (proof)
Theorem neq_9_7neq_9_7 : 9 = 7∀ x0 : ο . x0 (proof)
Theorem neq_9_8neq_9_8 : 9 = 8∀ x0 : ο . x0 (proof)