Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0 ∈ u6 ⟶ Church17_lt6 (u17_to_Church17 x0)
type
prop
theory
HotG
name
-
proof
PUZqC..
Megalodon
-
proofgold address
TMSfQ..
creator
31261 Pr4zB../16134..
owner
31261 Pr4zB../16134..
term root
a4d66..