Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
nat_p
x0
⟶
∀ x1 .
SNo
x1
⟶
SNoLev
x1
=
x0
⟶
diadic_rational_alt1_p
x1
type
prop
theory
HotG
name
-
proof
PUaqn..
Megalodon
-
proofgold address
TMTpm..
creator
12463
PrGxv..
/
61d29..
owner
12463
PrGxv..
/
61d29..
term root
5853f..