Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
nat_p
x0
⟶
∀ x1 .
x1
∈
x0
⟶
atleastp
x1
x0
type
prop
theory
HotG
name
nat_In_atleastp
proof
PUfcG..
Megalodon
-
proofgold address
TMZtJ..
creator
14561
Pr4zB..
/
79c37..
owner
14561
Pr4zB..
/
79c37..
term root
3deb6..