Search for blocks/addresses/...
Proofgold Proposition
∀ x0 :
ι → ι
.
∀ x1 .
nat_p
x1
⟶
(
∀ x2 .
x2
∈
x1
⟶
x0
x2
∈
omega
)
⟶
05ecb..
x0
x1
∈
omega
type
prop
theory
HotG
name
-
proof
PUQQ9..
Megalodon
Pi_SNo_In_omega
proofgold address
TMKAZ..
Pi_SNo_In_omega
creator
30111
PrQUS..
/
c1d72..
owner
30111
PrQUS..
/
c1d72..
term root
b7aa6..