Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0omega∀ x1 . x1omega∀ x2 . x2omega∀ x3 . x3omeganat_pair x0 x1 = nat_pair x2 x3x0 = x2
type
prop
theory
HotG
name
nat_pair_0
proof
PUcxH..
Megalodon
nat_pair_0
proofgold address
TMLKH..nat_pair_0
creator
29779 PrQUS../28d65..
owner
29779 PrQUS../28d65..
term root
26314..