Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
x0
∈
omega
⟶
∀ x1 .
x1
∈
omega
⟶
∀ x2 .
6ccc6..
x0
x1
x2
⟶
equiv_nat_mod
x0
x1
x2
type
prop
theory
HotG
name
-
proof
PUYRP..
Megalodon
-
proofgold address
TMVB9..
creator
8277
Pr6Pc..
/
cb09e..
owner
8277
Pr6Pc..
/
cb09e..
term root
892a2..