Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . 4ae4a.. x0 = 4ae4a.. x1x0 = x1
type
prop
theory
HoTg
name
-
proof
PUUEj..
Megalodon
-
proofgold address
TMam4..
creator
2699 PrGxv../bb77c..
owner
2699 PrGxv../bb77c..
term root
684cb..