Proofgold Proposition

∀ x0 x1 . f4b0e.. x0 x1 0 0 = ad280.. x0 x1

type
prop

theory
HotG

name
-

proof
PUhtR..

Megalodon
-

proofgold address
TMEwA..

creator
28142 PrQUS../be6fc..

owner
28142 PrQUS../be6fc..

term root
af847..