Proofgold Proposition

∀ x0 x1 x2 . atleastp (setsum 0 6a551..) 0 ⟶ False

type
prop

theory
HF

name
-

proof
PUQ52..

Megalodon
-

proofgold address
TMKnd..

creator
3130 PrGxv../b547e..

owner
3611 PrGxv../bdfcd..

term root
444b0..