Search for blocks/addresses/...
Proofgold Proposition
∀ x0 :
ι → ι
.
∀ x1 .
nat_p
x1
⟶
(
∀ x2 .
x2
∈
x1
⟶
nat_p
(
x0
x2
)
)
⟶
∀ x2 .
x2
∈
x1
⟶
divides_nat
(
x0
x2
)
(
Pi_nat
x0
x1
)
type
prop
theory
HotG
name
Pi_nat_divides
proof
PUPh4..
Megalodon
Pi_nat_divides
proofgold address
TMJ3L..
Pi_nat_divides
creator
29757
PrQUS..
/
54925..
owner
29757
PrQUS..
/
54925..
term root
5e46a..