Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ordsucc (exp_nat 2 (ordsucc x0)) ∈ exp_nat 2 (ordsucc (ordsucc x0))
type
prop
theory
HotG
name
-
proof
PUYq4..
Megalodon
-
proofgold address
TMbXY..
creator
15378 Pr4zB../88109..
owner
15378 Pr4zB../88109..
term root
441f5..