Proofgold Proposition

∀ x0 x1 . equip (setsum x0 x1) x0 ⟶ x1 = 0

type
prop

theory
HF

name
-

proof
PUbQq..

Megalodon
-

proofgold address
TMWkW..

creator
3149 PrGxv../90a6f..

owner
3149 PrGxv../90a6f..

term root
2930a..