Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0rationalminus_SNo x0rational
type
prop
theory
HotG
name
rational_minus_SNo
proof
PUcxH..
Megalodon
rational_minus_SNo
proofgold address
TMEtW..rational_minus_SNo
creator
29779 PrQUS../67a7a..
owner
29779 PrQUS../67a7a..
term root
31c42..